Bolzano–Weierstrass Theorem

Definition

Infinite bounded Sequence in $\mathbb{R}$ has a convergent subsequence