◀ ▲ ▶Branches / Analysis / Proposition: Limit Inferior is the Infimum of Accumulation Points of a Bounded Real Sequence

Proposition: Limit Inferior is the Infimum of Accumulation Points of a Bounded Real Sequence

Let $H$ be the non-empty¹ set of all accumulation points of a bounded real sequence $(a_n)_{n\in\mathbb N}.$ The limit inferior of $a_n$ equals the infimum of $H$, formally $$\underline{\lim_{n\to\infty} a_n}=\inf H.$$

Table of Contents

Proofs: 1

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

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

Footnotes