0.999.../Proof by limit manipulation

Assumptions edit

Proof edit