# Infinite sum question

**URL:** https://boards.straightdope.com/t/infinite-sum-question/266995
**Category:** Factual Questions
**Created:** [October 1, 2004, 5:21am UTC](https://boards.straightdope.com/t/infinite-sum-question/266995 "2004-10-01T05:21:49Z")
**Posts on this page:** 20
**Page:** 1

<div class="post-metadata">

### Author: ![KarlGauss](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/karlgauss/32/3713_2.png) [@KarlGauss](https://boards.straightdope.com/u/KarlGauss)
#### Post date: [October 1, 2004, 5:21am UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/1 "2004-10-01T05:21:49Z")

</div>

What is the limit of the infinite sum:

[symbol]S[/symbol](n[sup]1/n[/sup] - 1)?

Is there an “easy”\* way to prove it?

(\*with “easy” defined as needing only undergraduate math)

Thanks.

---

<div class="post-metadata">

### Author: ![tim314](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/tim314/32/3468_2.png) [@tim314](https://boards.straightdope.com/u/tim314)
#### Post date: [October 1, 2004, 5:57am UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/2 "2004-10-01T05:57:45Z")

</div>

Well, Mathematica tells me it diverges.

There are lots of convergence tests . . . however the ones I’m remembering don’t seem very useful in this case.

---

<div class="post-metadata">

### Author: ![Mathochist](https://avatars.discourse-cdn.com/v4/letter/m/c89c15/32.png) [@Mathochist](https://boards.straightdope.com/u/Mathochist)
#### Post date: [October 1, 2004, 6:11am UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/3 "2004-10-01T06:11:55Z")

</div>

> [@KarlGauss](#):
>
> What is the limit of the infinite sum:
> 
> [symbol]S[/symbol](n[sup]1/n[/sup] - 1)?
> 
> Is there an “easy”\* way to prove it?
> 
> (\*with “easy” defined as needing only undergraduate math)
> 
> Thanks.

I can tell you offhand it diverges. Still working on how to prove it with undergrad math, preferably Calc 2 techniques. The best idea I have so far is an integral test comparing with \integral\_1^\infinity(x^{1\over x}-1)\,dx, then showing that that’s a slower convergence than something like 1/x, but exactly how escapes me at the moment. Damned analysis.

---

<div class="post-metadata">

### Author: ![ccwaterback](https://avatars.discourse-cdn.com/v4/letter/c/df705f/32.png) [@ccwaterback](https://boards.straightdope.com/u/ccwaterback)
#### Post date: [October 1, 2004, 6:44am UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/4 "2004-10-01T06:44:54Z")

</div>

The root test might help:

[http://oregonstate.edu/dept/math/CalculusQuestStudyGuides/SandS/SeriesTests/root.html](http://oregonstate.edu/dept/math/CalculusQuestStudyGuides/SandS/SeriesTests/root.html)

---

<div class="post-metadata">

### Author: ![Spectre\_of\_Pithecanthropus](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/spectre_of_pithecanthropus/32/12343_2.png) [@Spectre\_of\_Pithecanthropus](https://boards.straightdope.com/u/Spectre_of_Pithecanthropus)
#### Post date: [October 1, 2004, 4:02pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/5 "2004-10-01T16:02:16Z")

</div>

> [@KarlGauss](#):
>
> What is the limit of the infinite sum:
> 
> [symbol]S[/symbol](n[sup]1/n[/sup] - 1)?

Even to me, as (very) non-mathematician, it looks divergent. Doesn’t it break down into [symbol]S[/symbol]n[sup]1/n[/sup] - [symbol]S[/symbol]1? And, doesn’t the second term simply equal negative infinity? So the only way it could converge would be for the whole expression to equal zero, and the the first term would have to equal infinity.

But again, I’m a very-nonmathematician, so take this with a large rock of salt.

---

<div class="post-metadata">

### Author: ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)
#### Post date: [October 1, 2004, 4:09pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/6 "2004-10-01T16:09:23Z")

</div>

> [@Spectre of Pithecanthropus](#):
>
> Even to me, as (very) non-mathematician, it looks divergent. Doesn’t it break down into [symbol]S[/symbol]n[sup]1/n[/sup] - [symbol]S[/symbol]1? And, doesn’t the second term simply equal negative infinity? So the only way it could converge would be for the whole expression to equal zero, and the the first term would have to equal infinity.
> 
> But again, I’m a very-nonmathematician, so take this with a large rock of salt.

Just because two sequences diverge does not mean that their difference diverges. For example,  
1, 2, 3, 4, 5, …, n  
and  
1.1, 2.01, 3.001, 4.0001, 5.00001, … , n+(1/10^n)  
clearly both diverge, but their difference  
0.1, 0.01, 0.001, 0.0001, 0.00001, …, 1/10^n  
does not.

---

<div class="post-metadata">

### Author: ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)
#### Post date: [October 1, 2004, 4:10pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/7 "2004-10-01T16:10:33Z")

</div>

It seems like it should be possible to show that the terms are bounded below by 1/n, but I’m not having much luck.

---

<div class="post-metadata">

### Author: ![KarlGauss](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/karlgauss/32/3713_2.png) [@KarlGauss](https://boards.straightdope.com/u/KarlGauss)
#### Post date: [October 1, 2004, 4:13pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/8 "2004-10-01T16:13:33Z")

</div>

It wasn’t convinced that it diverged since each term (n[sup]1/n[/sup] - 1) seems to be getting increasingly smaller as n increases.

eg. the 1000th root of 1000 minus 1 is 1.00693 - 1 = 0.00693…

And the 1000000th root of 1000000 minus 1 is 1.0000138 - 1 = 0.0000138…

Mostly I was wondering how to prove if it converges or diverges (and if the former, to what).

Thanks to all who have contributed.

---

<div class="post-metadata">

### Author: ![KarlGauss](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/karlgauss/32/3713_2.png) [@KarlGauss](https://boards.straightdope.com/u/KarlGauss)
#### Post date: [October 1, 2004, 4:15pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/9 "2004-10-01T16:15:04Z")

</div>

That should read, “I wasn’t convinced …”.

---

<div class="post-metadata">

### Author: ![chrisk](https://avatars.discourse-cdn.com/v4/letter/c/6de8d8/32.png) [@chrisk](https://boards.straightdope.com/u/chrisk)
#### Post date: [October 1, 2004, 4:53pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/10 "2004-10-01T16:53:52Z")

</div>

> [@KarlGauss](#):
>
> It wasn’t convinced that it diverged since each term (n[sup]1/n[/sup] - 1) seems to be getting increasingly smaller as n increases.
> 
> eg. the 1000th root of 1000 minus 1 is 1.00693 - 1 = 0.00693…
> 
> And the 1000000th root of 1000000 minus 1 is 1.0000138 - 1 = 0.0000138…
> 
> Mostly I was wondering how to prove if it converges or diverges (and if the former, to what).
> 
> Thanks to all who have contributed.

Just thought I’d chime in that not every decreasing series will converge. The most famous example of this is the harmonic series:

1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + 1/9 + 1/10 + 1/11 + 1/12

Obviously decreases with each term, and just as obviously you can find a term as close to 0 as you want to.

But the sum of the series has no limit. Can’t remember exactly how you prove that. 😃

---

<div class="post-metadata">

### Author: ![chrisk](https://avatars.discourse-cdn.com/v4/letter/c/6de8d8/32.png) [@chrisk](https://boards.straightdope.com/u/chrisk)
#### Post date: [October 1, 2004, 4:55pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/11 "2004-10-01T16:55:54Z")

</div>

> [@chrisk](#):
>
> Just thought I’d chime in that not every decreasing series will converge. The most famous example of this is the harmonic series:
> 
> 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + 1/9 + 1/10 + 1/11 + 1/12
> 
> Obviously decreases with each term, and just as obviously you can find a term as close to 0 as you want to.
> 
> But the sum of the series has no limit. Can’t remember exactly how you prove that. 😃

Doh… that should be “+ 1/11 + 1/12 + …”

Repeat, preview is my friend…

---

<div class="post-metadata">

### Author: ![Punoqllads](https://avatars.discourse-cdn.com/v4/letter/p/d2c977/32.png) [@Punoqllads](https://boards.straightdope.com/u/Punoqllads)
#### Post date: [October 1, 2004, 5:59pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/12 "2004-10-01T17:59:51Z")

</div>

> [@chrisk](#):
>
> Just thought I’d chime in that not every decreasing series will converge. The most famous example of this is the harmonic series:
> 
> 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + 1/9 + 1/10 + 1/11 + 1/12 + …

That’s a good point. If you can show that n[sup]1/n[/sup] - 1 decreases faster than 1/n, then Σ(n[sup]1/n[/sup] - 1) doesn’t converge.

If this is true, that means for some constants C and k, that C/n \> n[sup]1/n[/sup] - 1 for all n \> k. For that to be true, then the derivative of C/n would be greater than the derivative of n[sup]1/n[/sup] - 1 for all n \> k.

The derivative of C/n is -C/n[sup]2[/sup], and the derivative of n[sup]1/n[/sup] - 1 is n[sup]1/n[/sup] \* (-1/n[sup]2[/sup] \* ln(n) + 1/n[sup]2[/sup]), so -C would be greater than n[sup]1/n[/sup](1 - ln(n)) for all n \> k. Now n[sup]1/n[/sup] will always be a positive number, and (1 - ln(n)) will always be a negative number when n \> e, so for any number C where C \< 0, -C \> n[sup]1/n[/sup](1 - ln(n)) for n \> e. Therefore, Σ(n[sup]1/n[/sup] - 1) doesn’t converge.

What do you think, sirs?

---

<div class="post-metadata">

### Author: ![Punoqllads](https://avatars.discourse-cdn.com/v4/letter/p/d2c977/32.png) [@Punoqllads](https://boards.straightdope.com/u/Punoqllads)
#### Post date: [October 1, 2004, 6:14pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/13 "2004-10-01T18:14:29Z")

</div>

> [@Punoqllads](#):
>
> the derivative of n[sup]1/n[/sup] - 1 is n[sup]1/n[/sup] \* (-1/n[sup]2[/sup] \* ln(n) + 1/n[sup]2[/sup])

Whoops. The derivative of n[sup]1/n[/sup] - 1 is (n[sup]1/n[/sup] - 1) \* (-1/n[sup]2[/sup] \* ln(n) + 1/n[sup]2[/sup]). But n[sup]1/n[/sup] - 1 will always be a positive number for n \> 1.

---

<div class="post-metadata">

### Author: ![astro](https://avatars.discourse-cdn.com/v4/letter/a/9dc877/32.png) [@astro](https://boards.straightdope.com/u/astro)
#### Post date: [October 1, 2004, 6:33pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/14 "2004-10-01T18:33:19Z")

</div>

[Convergent series](http://www.maths.abdn.ac.uk/~igc/tch/ma2001/notes/node49.html)

---

<div class="post-metadata">

### Author: ![Omphaloskeptic](https://avatars.discourse-cdn.com/v4/letter/o/bcef8e/32.png) [@Omphaloskeptic](https://boards.straightdope.com/u/Omphaloskeptic)
#### Post date: [October 1, 2004, 6:57pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/15 "2004-10-01T18:57:51Z")

</div>

The series is divergent. Consider the tail of the series, starting at n=3\>e. Now clearly  
Σ(n[sup]1/n[/sup]-1) \> Σ(e[sup]1/n[/sup]-1) \> Σ(1/n),  
divergent. (Apologies if my Sigmas don’t show up right; I don’t have a normal Symbol font here.)

---

<div class="post-metadata">

### Author: ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)
#### Post date: [October 1, 2004, 7:21pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/16 "2004-10-01T19:21:30Z")

</div>

> [@](#):
>
> But the sum of the [harmonic] series has no limit. Can’t remember exactly how you prove that.

By comparison. Consider the series S[sub]2[/sub] = 1 + 1/2 + 1/2 + 1/4 + 1/4 + 1/4 + 1/4 + 1/8 + 1/8 + 1/8 + 1/8 + 1/8 + 1/8 + 1/8 + 1/8 + … Clearly, this series is less than the harmonic series, since each term is less than or equal to the corresponding term in the harmonic series. But S[sub]2[/sub] = (1) + (1/2 + 1/2) + (1/4 + 1/4 + 1/4 + 1/4) + (1/8 + 1/8 + 1/8 + 1/8 + 1/8 + 1/8 + 1/8 + 1/8) + …  
= 1 + 1 + 1 + 1 + …, which is trivially divergent.

---

<div class="post-metadata">

### Author: ![KarlGauss](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/karlgauss/32/3713_2.png) [@KarlGauss](https://boards.straightdope.com/u/KarlGauss)
#### Post date: [October 1, 2004, 8:54pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/17 "2004-10-01T20:54:36Z")

</div>

> [@Omphaloskeptic](#):
>
> The series is divergent. Consider the tail of the series, starting at n=3\>e. Now clearly  
> S(n[sup]1/n[/sup]-1) \> S(e[sup]1/n[/sup]-1) \> S(1/n),  
> divergent. (Apologies if my Sigmas don’t show up right; I don’t have a normal Symbol font here.)

Very elegant! Thank you.

---

<div class="post-metadata">

### Author: ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)
#### Post date: [October 1, 2004, 9:05pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/18 "2004-10-01T21:05:46Z")

</div>

> [@Omphaloskeptic](#):
>
> Σ(e[sup]1/n[/sup]-1) \> Σ(1/n)

I’m sure I’m missing something obvious here–how does this work?

---

<div class="post-metadata">

### Author: ![Punoqllads](https://avatars.discourse-cdn.com/v4/letter/p/d2c977/32.png) [@Punoqllads](https://boards.straightdope.com/u/Punoqllads)
#### Post date: [October 1, 2004, 9:18pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/19 "2004-10-01T21:18:00Z")

</div>

> [@ultrafilter](#):
>
> I’m sure I’m missing something obvious here–how does this work?

e[sup]x[/sup] = 1 + x + x[sup]2[/sup]/2! + x[sup]3[/sup]/3! …  
e[sup]1/n[/sup] - 1 = 1/n + 1/2n[sup]2[/sup] + … \> 1/n

---

<div class="post-metadata">

### Author: ![Omphaloskeptic](https://avatars.discourse-cdn.com/v4/letter/o/bcef8e/32.png) [@Omphaloskeptic](https://boards.straightdope.com/u/Omphaloskeptic)
#### Post date: [October 1, 2004, 9:30pm UTC](https://boards.straightdope.com/t/infinite-sum-question/266995/20 "2004-10-01T21:30:22Z")

</div>

> [@Punoqllads](#):
>
> e[sup]x[/sup] = 1 + x + x[sup]2[/sup]/2! + x[sup]3[/sup]/3! …  
> e[sup]1/n[/sup] - 1 = 1/n + 1/2n[sup]2[/sup] + … \> 1/n

Alternately, for x\>0 we have (since e[sup]x[/sup] is strictly increasing)  
x = x e[sup]0[/sup] \< ∫[sub]0[/sub][sup]x[/sup] e[sup]t[/sup] dt = e[sup]x[/sup]-1 .  
(That symbol after the \< is supposed to be an integral, in case it doesn’t show up right.)
