Bolzano-Weierstrass Theorem

Every bounded sequence has a convergent subsequence.

Proof