Definition:Limit Inferior of Extended Real Sequence

Definition
Let $\left \langle {x_n} \right \rangle$ be an extended real sequence.

The limit inferior of $\left \langle {x_n} \right \rangle$ is defined as:


 * $\displaystyle \liminf x_n : = \sup_{k \mathop \ge 1} \left({\inf_{n \mathop \ge k} x_n}\right)$

Also see

 * Definition:Limit Superior of Extended Real Sequence
 * Existence of Limit Inferior of Extended Real Sequence