Bolzano-Weierstrass by Bisection

Build step by step the convergent subsequence of a bounded sequence: subsequences, nested intervals, bisection, and then the major theorems this result makes possible.