Corolario 7.5.3 (Bolzano–Weierstrass).