ε-Red Riding Hood and the Big Bad Bolzano-Weierstrass Theorem [pdf] · HackerTrans