ε-Red Riding Hood and the Big Bad Bolzano-Weierstrass Theorem [pdf]
math.ucla.edu