Limit superior (source code)

= Limit superior
{title2=$\limsup$}
{wiki}

The limit superior of a real sequence $(a_n)$ is
$$
\limsup_{n\to\infty}a_n=\lim_{n\to\infty}\sup_{k\geq n}a_k.
$$
It is the largest subsequential limit when the sequence is bounded.