Bolzano-Weierstrass theorem

Every bounded real sequence has a convergent subsequence. One proof repeatedly bisects a closed interval containing infinitely many terms, chooses a nested half containing infinitely many terms, and then chooses indices increasingly from those halves. Their interval diameters tend to zero, so completeness gives convergence.