Past exam of the mathematics course of the University of Cambridge / 2017 / ia / Paper 4 / 8D / a / Solution

A sequence $(a_k)$ converges to $a\in \mathbb{R}$ when for every $\epsilon >0$ there is $N$ such that $|a_k-a|<\epsilon$ for all $k\ge N$. A series ${\sum }_{k=1}^{\infty }{a}_k$ converges to a finite $S$ when its partial sums $s_n={\sum }_{k=1}^n{a}_k$ converge to $S$.

If the series converges, then $a_n=s_n-s_{n-1}\to S-S=0$, so its terms tend to zero. The converse is false: the harmonic series has terms tending to zero but diverges.

For the arithmetic averages, suppose $a_k\to a$. Fix $\epsilon >0$ and choose $K$ so $|a_k-a|<\epsilon /2$ for $k\ge K$. The finite initial contribution $C={\sum }_{k=1}^{K-1}|a_k-a|$ is fixed, andFor sufficiently large $n$, $C/n<\epsilon /2$, provingThis is the Cesaro theorem for convergent sequences. Its hypothesis concerns a convergent sequence; the corresponding series need not be a convergent series.