Bolzano-Weierstrass theorem
= Bolzano-Weierstrass theorem
{c}
{wiki}
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.