Talk:Euler's Number: Limit of Sequence implies Limit of Series

From ProofWiki
Jump to navigation Jump to search

Note my comment on the last step. To do it formally, we could probably pass to a double sequence of which $\paren {1 + \dfrac 1 n}^n$ is the diagonal, then prove the double sequence converges to $\sum \paren {k!}^{-1}$. Paradoxically, it may be easier. --Lord_Farin (talk) 20:44, 17 October 2012 (UTC)

Isn't it the case that $\lim \sum = \sum \lim$ for a convergent sequence? Thought we had that proved somewhere. Or am I missing something? --prime mover (talk) 21:53, 17 October 2012 (UTC)
Yes, probably. I've at least got a proof in my head requiring no further action when we have $a_{i, n} \to a_i$ and existence of $\ds \lim_{n \mathop \to \infty} \sum_{i \mathop = 1}^n a_{i, n}$; simply estimating the error term (say for $k \ge N$, estimate independent of $n$) with inaccuracy $\epsilon/2$, then all the other terms to inaccuracy $\epsilon/2N$, so in total inaccuracy $\epsilon$, done. But a link would be good. --Lord_Farin (talk) 22:12, 17 October 2012 (UTC)


The refactoring has now been done. Please feel free to continue with whatever it was you were planning on. --prime mover (talk) 19:29, 12 June 2016 (UTC)