2

Please provide uncommon Answers

I was wondering how the series $H(n) = 1 + 1/2 + 1/3 +\dots+1/n$ diverges.
I suppose $\lim_{n\to \infty} (1/n)$ should be $0.$
Then, we find $H(n) - H(n-1) = 1/n.$ Taking the limit should render that,
$H(n) - H(n-1) \to 0$
Thereby we should be able to say, $H(n) = H(n-1).$ I know this is false, but how so?
Then how can it be divergent, as it after a point the graph is basically a straight line .
Yes I see the various proofs but fail to see an intuitive answer. Perhaps something fundamental is wrong with my thinking.
Please provide a complete explanation , Thank-you. As for intuition, I mean a way for me to easily see that it cannot diverge, without much manipulation of sorts, an unconventional way perhaps.

J. W. Tanner
  • 63,683
  • 4
  • 43
  • 88
Aninet
  • 31
  • 6
  • 2
    The fact that, for $n\to\infty$ you have $H(n)-H(n-1)\to 0$ does not tell you that $H(n)=H(n-1)$. – Davide May 22 '25 at 18:39
  • 3
    "Thereby we should be able to say" Why precisely? (In fact we are not able to say.) – Noah Schweber May 22 '25 at 18:40
  • Please clarify your specific problem or provide additional details to highlight exactly what you need. As it's currently written, it's hard to tell exactly what you're asking. – Community May 22 '25 at 18:42
  • 3
    I don't know what you mean by "we should be able to say $H(n)=H(n-1).$" That is not true. – Thomas Andrews May 22 '25 at 18:42
  • @Ian I know the proof, thanks either way, just wish to know the cardinal sins committed. – Aninet May 22 '25 at 18:45
  • Would you like a calculus referenced proof or something different? – Roccooi May 22 '25 at 18:45
  • @Roccooi anything will suffice but was looking towards series manipulation and limit type proofs – Aninet May 22 '25 at 18:46
  • @ThomasAndrews ok, but how so, an elaboration perhaps – Aninet May 22 '25 at 18:46
  • @Aninet How so what? $x_n$ can converge to $0$ without ever being $0.$ – Thomas Andrews May 22 '25 at 18:48
  • @ThomasAndrews how so, I may have had a misconception coming from a physics background of calculus, please elaborate with citations, if possible, to sources clearing such misconceptions – Aninet May 22 '25 at 18:53
  • 1
    The big thing is that you are being taught about this series because there are a lot of series that don't converge, where the terms go to zero. A lot of us have the intuition that having terms going to zero is "enough" to means the sum converges, but our intuition is wrong. We have to adjust our,intuition. – Thomas Andrews May 22 '25 at 19:03
  • I'm not providing you with citations. $x_n=1/2^n$ converges to $0,$ but it is never equal to zero. That is the whole point of using the word "converges" rather than "eventually equal." It ineed not ever be equal to $0,$ it but it gets as close as you want. This is covered in all calculus, and you can literally pick up any book with sequences and series chapters to learn this. – Thomas Andrews May 22 '25 at 19:07
  • Maybe it might help, as an analogy, to think of the examples $f(x) = \ln(x)$ and $f(x) = \sqrt{x}$ where the graph of the function eventually gets as flat as you want (i.e. $\lim_{x\to \infty} f'(x) = 0$) yet the function still doesn't have a finite limit. – Daniel Schepler May 22 '25 at 20:22
  • @ThomasAndrews thank you, I have to think more and perhaps get used to such cases – Aninet May 23 '25 at 05:20
  • @DanielSchepler ok, I didn't consider that case, our intuition does fail in these scenarios – Aninet May 23 '25 at 05:20

3 Answers3

5

We consider the harmonic series: $$ \sum_{n=1}^{\infty} \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \cdots $$

We can group the terms in a specific way:

$$ \begin{align*} 1 & \\ + \frac{1}{2} & \\ + \left( \frac{1}{3} + \frac{1}{4} \right) & \\ + \left( \frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8} \right) & \\ + \left( \frac{1}{9} + \cdots + \frac{1}{16} \right) & \\ + \cdots \end{align*} $$

Now observe that in each group, each term is at least as large as the smallest term in the group. So we estimate:

  • In the 3rd group: $$ \frac{1}{3} + \frac{1}{4} > 2 \cdot \frac{1}{4} = \frac{1}{2} $$
  • In the 4th group: $$ \frac{1}{5} + \cdots + \frac{1}{8} > 4 \cdot \frac{1}{8} = \frac{1}{2} $$
  • In the 5th group: $$ \frac{1}{9} + \cdots + \frac{1}{16} > 8 \cdot \frac{1}{16} = \frac{1}{2} $$

In general, for the $k$-th group (starting from the 3rd), there are $2^{k-2}$ terms, each at least $ \frac{1}{2^k} $, so the sum of the group is greater than: $$ 2^{k-2} \cdot \frac{1}{2^k} = \frac{1}{4} $$

(And with a looser bound, each group is greater than $ \frac{1}{2} $.)

Since there are infinitely many such groups, and each contributes a positive amount bounded below, the sum of the harmonic series diverges: $$ \sum_{n=1}^{\infty} \frac{1}{n} \to \infty $$

Roccooi
  • 310
4

I'm not sure I really understand what you mean by "intuitive", but I can provide the simplest of proofs. But before doing so, if you consier the sequence $(u_n)_{n\in\mathbb{N}^*}=(\ln(n))_{n\in\mathbb{N}^*}$, $u_{n+1}-u_n\overset{n\to\infty}{\longrightarrow}0$ yet $(u_n)$ diverges, so your intuition here is wrong.

Note how, for all $x>-1$, $\ln(1+x)\leq x$. Now let $n\in\mathbb{N}$.

$$\ln(n+1)=\sum_{k=1}^n\ln(k+1)-\ln(k)=\sum_{k=1}^n\ln(1+1/k)\leq\sum_{k=1}^n\frac{1}{k}=H_n$$

Hence the divergence. I think this is the simplest proof one can find...

For an "intuitive" proof, maybe check Oresme's original method?

J.J.T
  • 1,077
  • Please wait until the question is clear and not a duplicate before answering. It is not clear proving the series diverges is what the OP wants - I'd guess they have aleady seen a proof, and I'm not sure appeals to an inequalities involving $\ln n$ are going to be much help. – Thomas Andrews May 22 '25 at 18:44
  • This seems pretty intuitive to me. We know that the logarithm is increasing so we know that the partial sums are increasing and, therefore, the series diverges. – John Douma May 22 '25 at 18:54
-2

https://www.youtube.com/watch?v=aKl7Gwh297c

See this video from 5:18 mins onward. This provides a calculus based intuition.

  • Wait until the OP's question is cllear and not a duplicate. Also, link-only answers are generally frowned upon here. – Thomas Andrews May 22 '25 at 18:43
  • I used the link as it provides an animation which makes it easier to understand. – cryptomaniac May 22 '25 at 18:44
  • Should I delete it? – cryptomaniac May 22 '25 at 18:45
  • 4
    Doesn't matter. You can give an argument, then give a link as an addition, but a link-only answer is bad. External videos or other links get deleted often from the web, and one goal of this site is to be a repository of answers. Links make the repository function problematic. – Thomas Andrews May 22 '25 at 18:50