Knowlpedia

Limit superior (lim sup)

The largest limit point of a bounded sequence, or equivalently the infimum of suprema of tails.

The limit superior (or lim sup) of a bounded sequence (xn)(x_n) in R\mathbb{R} is

lim sup⁡n→∞xn=lim⁡n→∞sup⁡k≥nxk=inf⁡n≥1sup⁡k≥nxk.\limsup_{n \to \infty} x_n = \lim_{n \to \infty} \sup_{k \geq n} x_k = \inf_{n \geq 1} \sup_{k \geq n} x_k.
Characterizations

For a (xn)(x_n), the lim sup equals:

  1. The largest of the sequence.
  2. The supremum of the set of all limits.
Properties
  • lim inf⁡xn≤lim sup⁡xn\liminf x_n \leq \limsup x_n always.
  • The sequence converges if and only if lim inf⁡xn=lim sup⁡xn\liminf x_n = \limsup x_n, and then the limit equals this common value.
  • lim sup⁡(−xn)=−lim inf⁡(xn)\limsup(-x_n) = -\liminf(x_n).
Extended values

For unbounded sequences: lim sup⁡xn=+∞\limsup x_n = +\infty if (xn)(x_n) is unbounded above, and lim sup⁡xn=−∞\limsup x_n = -\infty if xn→−∞x_n \to -\infty.

Examples

For xn=(−1)n(1+1/n)x_n = (-1)^n(1 + 1/n): lim sup⁡xn=1\limsup x_n = 1, lim inf⁡xn=−1\liminf x_n = -1.