Characterization of lim sup, lim inf

real-analysis definition limsup-and-liminf

I'm taking your definition of limsup to be the "largest subsequential limit".

i) says that no subsequential limit can be bigger than the limsup.

ii) says that a subsequential limit can be at least as big as the limsup.

Related

On Lebesgue Outer Measure of an interval
Reading Chapter 14 of Goldblatt's, "Topoi: A Categorial Analysis of Logic."
Solve the recurrence
Detail in the algebraic proof of the polar decomposition
In a tennis tournement of 128 players, elimination system, what is the probability that two twins will meet at some point?
Non trivial valuation over a finite extension $F/\mathbb{Q}_p$ is equivalent to the one induced by $v_p$
Expected value when die is rolled $N$ times
Intuition behind the coupon collector problem. Is there inclusion-exclusion principle in play?
Is an algebraic integer all of whose conjugates have absolute value 1 a root of unity? [duplicate]
How to prove that an $n\times n$ matrix $A$ with $n$ distinct eigenvalues is similar to a diagonal matrix?
Proving that $ \ln\left(\frac{49}{50}\right)<\sum^{98}_{k=1}\int^{k+1}_{k}\frac{k+1}{x(x+1)}dx<\ln(99)$
Derivative of $x^x$ and the chain rule