Proof
- Suppose ∑an converges to s∈R
- Then, by the definition of convergence, limn→∞Sn=s
- WTS: limn→∞an=0
- Then, consider limn→∞an=limn→∞(an+0)
- =limn→∞(an+a1+⋯+an−1−a1−⋯−an−1)
- =limn→∞(Sn−Sn−1) by Series Partial Sum
- =limn→∞(Sn)−limn→∞(Sn−1) by Limit Properties
- =limn→∞(Sn)−limn→∞(Sn) as limn→∞(n−1)∼n
- =s−s
- =0
- □