theoremreal-analysis Intuition Formal Statement Any bounded sequence has a converging subsequence. Corollaries