Proving Bolzano-Weierstrass with Nested Interval Property | Real Analysis