The harmonic series, i.e., the series of the reciprocals of integers is a prototypical divergent series: the sums
grow, albeit very slowly, without bound. There is no finite value S that could be ascribed as its sum. Assuming that such a value exists leads to a contradiction. A contradiction could be achieved in a multitude of ways. R. P. Boas once listed five of them, but there are more. Several has been listed by R. Honsberger and by W. Dunham. Kifowit and Stamps gave 20 proofs. More recently, the harmonic series attracted bloggers, at Let's Play Math and Random Walks.
Below I'll give a few proofs.
So assume that the series is convergent, i.e., for a finite S,
Let's mention the obvious, viz., that all the terms in the harmonic series are positive. It is well known that, for such series, the terms in the sum could be shuffled in any order without affecting the sum.
Proof 1 (Johann Bernoulli)
which is absurd as the sum of reciprocals of the even and odd integers could not be equal. To see that compare then term by term.
Proof 2 (Johann Bernoulli)
Now observe that every row in that infinite sum of infinite sums is a telescoping series. The first row sums to 1, the second to , the third to , and so on. We get
making i.e., whereas already the first term in the series is 1. A contradiction.
Combine terms in pairs and, in every pair, replace the largest term with the smallest:
That is A contradiction.
The terms in the series can be combined at a time with exactly the same result.
Proof 4 (Nicole Oresme)
The terms of the series could be combined into growing groups of terms, :
which clearly grows without bound.
There are one-digit numbers; their reciprocals exceed each. The sum of the reciprocals exceeds . There are 90 2-digit numbers; their reciprocals exceed each. The sum of the reciprocals of the 2-digit numbers exceeds Similarly, the sum of the reciprocals of all 3-digit numbers exceeds and so on. The sum of all the reciprocals of integers (i.e. the sum of the harmonic series) exceeds , for any positive integer .
Proof 6 (Pietro Mengolli)
The proof is based on the observation that, for ,
This suggests grouping the terms of the harmonic series by 3 starting with second one. The process leads to the inequality , which appears to imply that
The required inequality follows from
Proof 7 (A. Cusumano)
- R. Honsberger, Mathematical Plums, MAA, 1979
- R. Honsberger, Mathematical Gems II, MAA, 1976
- W. Dunham, Journey through Genius, Penguin Books, 1991
- A. Cusumano, The harmonic series diverges, American Mathematical Monthly 105(7), 608.
- S. J. Kifowit, T. A. Stamps, The Harmonic Series Diverges Again and Again, The AMATYC Review, Vol. 27, No. 2, Spring 2006, pp. 31â€“43