The Thinking Board

Prove that the harmonic series diverges

The problem

Show that

does not converge.

The terms go to zero, and the partial sums are in no hurry. They first pass at around , and first pass somewhere near . Every number you can actually compute suggests the thing is settling down. It is not.

So the theorem is easy to state, easy to prove, and very hard to believe from the evidence. Post a proof — and if you can, post one where the slowness falls out of the same argument, rather than sitting beside it as an embarrassment.

1 proof posted

0 votes cast
Most convincingNewest
0votes

Oresme's grouping (c. 1350)

Group the terms into blocks whose lengths are powers of two:

The block running from to contains terms, and every one of them is at least . So each block sums to at least

There are infinitely many such blocks, so the partial sums pass every bound. Concretely,

The same argument explains the slowness

That inequality is not only a proof, it is a rate. To push the sum up to you need about terms — so the partial sums grow like the logarithm of how many terms you have taken.

Which is exactly what the numbers in the problem statement are showing. Reaching takes around terms. Reaching takes around . The series does not diverge slowly despite diverging; it gains a fixed amount on every doubling, and doublings get expensive fast.

Nicole Oresme had this in the fourteenth century, some three hundred years before anyone had a definition of convergence to be careful about. It remains the argument I would show someone first.

Add a proof

LaTeX between $ … $ and $$ … $$. Blank line for a new paragraph. Lines starting with – make a list.