0.999.../Proof by equivalence of Cauchy sequences

Assumptions edit

Proof edit

In this formalism the task is to show that the sequence of rational numbers

 

has the limit 0.