metric: prove that convergent sequences are bounded. move definition of boundedness up to the section on sequences
real anal: add nested interval lemma, monotone convergence theorem, bolzano-weierstrass, and Heine-Borel, though perhaps not the canonical Heine-Borel