Redirecting to Bolzano–Weierstrass theorem