Last modified on 14 March 2013, at 21:48

0.999.../Proof by equality of Dedekind cuts