up vote 26 down vote favorite
4
share [g+] share [fb]

Can someone give a simple explanation for why the harmonic series

$$\frac 1 1 + \frac 12 + \frac 13 + \cdots $$

doesn't converge, but just grows very slowly?

I'd prefer an easily comprehensible explanation rather than a rigorous proof of the type I could get from an undergraduate text book.

link|improve this question

80% accept rate
1  
This is not meant to be an answer but an interesting note. Suppose we denote $H(n) = 1/1 + 1/2 + ... + 1/n$ then $H(n!) - H((n-1)!) \approx log(n)$ for large n. Does this give a hint? ;) – Roupam Ghosh Jul 11 '11 at 4:14
feedback

5 Answers

up vote 36 down vote accepted

Let's group the terms as follows:

group 1: 1/1 (1 term)

group 2: 1/2 + 1/3 (2 terms)

group 3: 1/4 + 1/5 + 1/6 + 1/7 (4 terms)

group 4: 1/8 + 1/9 + ... + 1/15 (8 terms)

$\vdots$

In general, group $n$ contains $2^{n-1}$ terms. But also, notice that the smallest element in group n is larger than $1/2^n$. For example all elements in group 2 are larger than $1/2^2$. So the sum of the terms in each group is larger than $2^{n-1} \cdot (1/ 2^n) = 1/2$. Since there are infinitely many groups, and the sum in each group is larger than $1/2$, it follows that the total sum is infinite.

This proof is often attributed to Nicole Oresme.

link|improve this answer
4  
+1: This is nice: it's easy to turn this into a rigorous proof, and it even gives you a lower bound for the order of growth! – Simon Nickerson Jul 21 '10 at 5:19
2  
I assume you mean that group 4 as 8 terms? Or do you mean to go all the way to 1/23? – Tomas Lycken Jul 21 '10 at 7:37
Is there a closed-form function for this value? – John Gietzen Jul 21 '10 at 18:29
1  
Interestingly, this proof goes as far back as Nicole Oresme in the 14th century. Wikipedia has a nice display of this proof [en.wikipedia.org/wiki/Harmonic_series_%28mathematics%29] – Neil Mayhew Jul 22 '10 at 13:20
@John: There's no explicit closed-form, but they're generally known as the Harmonic Numbers; there are a number of identities involving them (how to sum them or sum multiples of them, etc.) – Steven Stadnicki Jul 10 '11 at 21:23
feedback

This is not as good an answer as AgCl's, nonetheless people may find it interesting.

If you're used to calculus then you might notice that the sum 1+1/2+1/3+...+1/n is very close to the integral from 1 to n of 1/x. This definite integral is ln(n), so you should expect 1+1/2+1/3+...+1/n to grow like ln(n).

Although this argument can be made rigorous, it's still unsatisfying because it depends on the fact that the derivative of ln(x) is 1/x, which is probably harder than the original question. Nonetheless it does illustrate a good general heuristic for quickly determining how sums behave if you already know calculus.

link|improve this answer
1  
If you look at a Riemann sum for intervals with width 1, you can pretty quickly see that the integral of 1/x from 1 to infinity must be less than the sum of the harmonic series. – Isaac Jul 21 '10 at 5:51
Thank you for adding this answer. I was hoping to avoid an answer that involved integration, so I also prefer AgCl's answer. But I am happy to see more than one demonstration/proof. – bryn Jul 22 '10 at 11:33
feedback

There is a fantastic collection of 20 different proofs that this series diverges. I recommend you read it (it can be found here). I especially like proof 14, which appeals to triangular numbers for a sort of cameo role.

link|improve this answer
feedback

The answer given by AgCl is a classic one. And possibly pedagogically best; I don't know.

I also like the following argument. I'm not sure what students who are new to the topic will think about it.

Suppose 1 + 1/2 + 1/3 + 1/4 + ... adds up to some finite total S. Now group terms in the following way:

1 + 1/2 > 1/2 + 1/2 = 2/2 = 1

1/3 + 1/4 > 1/4 + 1/4 = 2/4 = 1/2

1/5 + 1/6 > 1/6 + 1/6 = 2/6 = 1/3

Continuing in this way, we get S > S, a contradiction.

link|improve this answer
Not really. From $S_n > T_n$ you can only conclude that $\lim S_n \ge \lim T_n$. – lhf Jul 10 '11 at 21:24
1  
@lhf This is a series. Not a sequence. – Jyrki Lahtonen Jul 10 '11 at 21:33
2  
@lhf: That's right, but that can be easily fixed here (with $S_n = 1 + 1/2 + \dots + 1/2n$ and $T_n = 1 + 1/2 + \dots + 1/n$): we can use a better inequality, like say $S_n \ge T_n + 1/2$ (using just the first step) to conclude that $\lim S_n \ge \lim T_n + 1/2$, contradicting $S = \lim S_n = \lim T_n$. – ShreevatsaR Jul 11 '11 at 4:18
feedback

An alternative proof (translated and adapted from this comment by Filipe Oliveira, in Portuguese, posted also here). Let $ f(x)=\ln(1+x)$. Then $f'(x)=\dfrac {1}{1+x}$ and $ f'(0)=1$. Hence

$$\displaystyle\lim_{x\to 0}\dfrac{\ln(1+x)}{x}=\lim_{x\to 0}\dfrac{\ln(1+x)-\ln(1)}{x-0}=1,$$

and

$$ \displaystyle\lim_{n\to\infty} \dfrac{\ln\left(1+\dfrac{1}{n}\right)}{\dfrac {1}{n}}=1>0.$$

So, the series $\displaystyle\sum\dfrac{1}{n}$ and $\displaystyle\sum\ln\left(1+\dfrac {1}{n}\right)$ are both convergent or divergent. Since

$$\ln\left(1+\dfrac {1}{n}\right)=\ln\left(\dfrac{n+1}{n}\right)=\ln (n+1)-\ln(n),$$

we have

$$\displaystyle\sum_{n=1}^N\ln\left(1+\dfrac {1}{n}\right)=\ln(N+1)-\ln(1)=\ln(N+1).$$

Thus $\displaystyle\sum_{n=1}^{\infty}\ln\left(1+\dfrac {1}{n}\right)$ is divergent and so is $\displaystyle\sum_{n=1}^{\infty}\dfrac{1}{n}$.

link|improve this answer
feedback

Your Answer

 
or
required, but never shown

Not the answer you're looking for? Browse other questions tagged or ask your own question.