(July 9, 2019 at 9:56 am)polymath257 Wrote: After thinking a bit, this does not quite prove the convergence since you need to show thatYes, you're right, but that use of a quantifier is still legal.
|x_n^2 -2|<eps for ALL n>=p where p is that smallest exponent.
Is there a finitistic definition that gets around this issue?
n >= p implies that |x_n^2 - 2| <= 1/2^n <= 1/2^p < ε.