Improve Bolzano-Weierstrass