0.999.../Proof by equivalence of Cauchy sequences

Assumptions

  • Construction of the real numbers from Cauchy sequences
  • Definition from Cauchy sequences
  • The limit of a geometric sequence

Proof

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

has the limit 0.