Date: Oct 5, 2017 1:42 PM
Author: Dan Christensen
Subject: Re: Finally the discussion is over: S = Lim S is a bad definition.

On Thursday, October 5, 2017 at 1:22:37 PM UTC-4, John Gabriel wrote:

> >
> > 0.999... is a short hand for an infinite sum (S = 0.9+0.09+0.009+...) which we define as the limit of a finite sum (Lim S = Lim {n \to \infty} 1-10^(-n)) as the number of terms approaches infinity.

> Yes, S = Lim S. Clear as water.

Wrong again, Troll Boy. That should be:

S = Lim(n-->oo): S_n

where S_n = Sum(k=1,n): 1 - 1/10^k (the nth partial sum)


Download my DC Proof 2.0 software at
Visit my Math Blog at