Bolzano–Weierstrass Theorem

Definition

Every bounded sequence has a convergent subsequence.

Proof