0.999.../Proof by limit manipulation

Assumptions

  • Definition from sequences
  • Term-by-term operations on sequences
  • The limit of a geometric sequence

Proof