finished first pass at Bolzano-Weierstrass