applicability: $\mathbb {R}$

# Definition: Limit Inferior

Let $(a_n)_{n\in\mathbb N}$ be a real sequence. The limit inferior $\varliminf a_n$ is the element of the extended real numbers $\overline{\mathbb R}$ reached for $n\to\infty$ by the increasing sequence $(\inf D_n)_{n\in\mathbb N}$, where $\inf D_n$ denotes the infimum of extended real numbers for the set $D_n:=\{a_k:~k\ge n\},$ formally

$$\varliminf_{n\to\infty} a_n:=\lim_{n\to\infty}(\inf D_n).$$

### Motivation

This definition is motivated by the following facts: * The sequence $\inf D_n$ is monotonically increasing. * This sequence is bounded above by definition. * Every bounded monotonic sequence is convergent. * Therefore, a limit $\lim_{n\to\infty}(\inf D_n)$ must definitely exist, if the sequence $(a_n)_{n\in\mathbb N}$ is bounded. * If the sequence is unbounded, it exists indefinitely by setting $$\varliminf_{n\to\infty} a_n=-\infty.$$

Propositions: 1 2

Github: ### References

#### Bibliography

1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983