Saw something a long time ago which reminded me of that. Had to go look it up, just couldn't remember the name of it - Cesàro summation [in this case the ak would themselves be a partial sum and if those partial sums converged, the Cesàro sum converged to the same thing].
Just talking through an outline of the proof, without an actual proof, seems like we would have something like, if ak converges to a then
An = \(\displaystyle \frac{1}{n} \Sigma_{k=1}^{k=n} a_k\) ~ \(\displaystyle \frac{1}{n} \Sigma_{k=1}^{k=m} a_k + \frac{n-m}{n} a = \frac{1}{n} \Sigma_{k=1}^{k=m} a_k - \frac{m}{n} a + a\)
or, as n goes to infinity, that fixed summation up to m which is divided by n and the m/n term go to zero so that An goes to a
Now if one could put that on a firm foundation, seems like they would have a proof.
Not quite but almost. Consider the sequence
{ak}={10000, 1, 1, 1, 1, 1, ...}
Not all |ak - a| are less than epsilon. However there is some m for which that is true for all k > m and, given epsilon, m can be fixed.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.