Maths WorkshopMaths problems with full solutions
Exercise 1474Calculus › Single-variable calculus › Series › Convergence testsL1Added 2 Nov 2026

A Cauchy product that diverges

#Cauchy product#conditional convergence#Mertens theorem

Statement

Let an=(−1)nn+1a_n=\dfrac{(-1)^n}{\sqrt{n+1}} for n≥0n\ge0. The series ∑an\sum a_n converges (alternating series test). Show that its Cauchy product with itself,
∑n≥0cn,cn=∑k=0nakan−k,\sum_{n\ge0}c_n,\qquad c_n=\sum_{k=0}^na_ka_{n-k},
diverges.

Hint

Show that ∣cn∣≥1|c_n|\ge1 for all nn, so cn↛0c_n\not\to0.

Show solutionHide solution

Solution

The terms. akan−k=(−1)n(k+1)(n−k+1)a_ka_{n-k}=\dfrac{(-1)^n}{\sqrt{(k+1)(n-k+1)}}, so
cn=(−1)n∑k=0n1(k+1)(n−k+1).c_n=(-1)^n\sum_{k=0}^n\frac1{\sqrt{(k+1)(n-k+1)}}.
All the terms in the sum have the same sign: no cancellation.

A bound. By AM-GM, (k+1)(n−k+1)≤(k+1)+(n−k+1)2=n+22\sqrt{(k+1)(n-k+1)}\le\frac{(k+1)+(n-k+1)}2=\frac{n+2}2. Hence
∣cn∣≥(n+1)⋅2n+2≥1for all n≥0.|c_n|\ge(n+1)\cdot\frac2{n+2}\ge1\quad\text{for all }n\ge0.

Conclusion. cn↛0c_n\not\to0, so ∑cn\sum c_n diverges by the divergence test.

Remark. The product of two convergent series is not always convergent! *Mertens' theorem* says it converges if at least one of the two series converges absolutely; here neither does.