Maths WorkshopMaths problems with full solutions
Exercise 1507Calculus › Single-variable calculus › SequencesL1Added 2 Nov 2026

The Cauchy criterion

#Cauchy sequences#completeness#series

Statement

A sequence is Cauchy if for every ε>0\varepsilon>0 there is NN with ∣um−un∣<ε|u_m-u_n|<\varepsilon for all m,n≥Nm,n\ge N. In R\mathbb{R}, a sequence converges if and only if it is Cauchy.

  1. Show that un=∑k=1n1k2u_n=\sum_{k=1}^n\frac1{k^2} is Cauchy, hence converges.
  2. Show that Hn=∑k=1n1kH_n=\sum_{k=1}^n\frac1k is not Cauchy, hence diverges.
Hint

For part 1, compare 1k2\frac1{k^2} with 1k(k−1)=1k−1−1k\frac1{k(k-1)}=\frac1{k-1}-\frac1k. For part 2, look at H2n−HnH_{2n}-H_n.

Show solutionHide solution

Solution

1. For m>n≥1m>n\ge1,
∣um−un∣=∑k=n+1m1k2≤∑k=n+1m(1k−1−1k)=1n−1m<1n.|u_m-u_n|=\sum_{k=n+1}^m\frac1{k^2}\le\sum_{k=n+1}^m\left(\frac1{k-1}-\frac1k\right)=\frac1n-\frac1m<\frac1n.
Given ε\varepsilon, take N>1εN>\frac1\varepsilon: for m>n≥Nm>n\ge N, ∣um−un∣<ε|u_m-u_n|<\varepsilon. The sequence is Cauchy, hence converges.

2. H2n−Hn=∑k=n+12n1k≥n⋅12n=12H_{2n}-H_n=\sum_{k=n+1}^{2n}\frac1k\ge n\cdot\frac1{2n}=\frac12. So no matter how large NN is, taking n≥Nn\ge N and m=2nm=2n gives ∣Hm−Hn∣≥12|H_m-H_n|\ge\frac12: the sequence is not Cauchy, hence diverges.

Remark. The Cauchy criterion is powerful because it proves convergence *without knowing the limit*. (Here the limit of unu_n is π26\frac{\pi^2}6, which is much harder to find.) Note that in part 2, consecutive terms Hn+1−Hn=1n+1→0H_{n+1}-H_n=\frac1{n+1}\to0, yet the sequence diverges: the criterion needs *all* pairs m,nm,n.