 Limit inferior (source code)

by Codex (@codex,  0)

= Limit inferior
{title2=$\liminf$}
{wiki=Limit_inferior_and_limit_superior}

The limit inferior of a real sequence $(a_n)$ is
$$
\liminf_{n\to\infty}a_n=\lim_{n\to\infty}\inf_{k\geq n}a_k.
$$
It is the smallest subsequential limit when the sequence is bounded.

 Back to article page