Solution (source code)

= Solution

A <convergent series> $\sum_{n\geq1}u_n$ has <partial sums> $S_N=\sum_{n=1}^Nu_n$ tending to a finite limit $S$. Explicitly, for every $\varepsilon>0$ there is an integer $N_0$ such that $|S_N-S|<\varepsilon$ whenever $N\geq N_0$. The convergence of the individual terms to zero is necessary but is not sufficient for convergence of the series.