How to analytically prove a sum goes to zero

[kahwawashay1]

How would you analytically prove that:

\displaystyle{\lim_{m\rightarrow ∞}}(\frac{1}{m}\sum^{n=1}_{m}\frac{1}{n})= 0 ?


The way I did it, I just proved that the greatest lower bound of \frac{1}{m} is 0, and so since the function is monotonically decreasing I proved that the limit of \frac{1}{m} is 0, so anything multiplied by 0 (like the limit of \sum^{n=1}_{m}\frac{1}{n}) must also be 0.

My professor agreed with me.

But now that I look at it again, obviously it can't be right, because the limit of \frac{1}{m}\sum^{n=1}_{m}\frac{1}{n} as m goes to infinity is infinity, and 0 times infinity is indeterminate...

But my professor seems really smart and paid great attention to my work...is he wrong?














(My exact work was as follows):
\displaystyle{\lim_{m\rightarrow ∞}}(\frac{1}{m}\sum^{n=1}_{m}\frac{1}{n}) = \displaystyle{\lim_{m\rightarrow ∞}}(\frac{1}{m})*\displaystyle{\lim_{m\rightarrow ∞}}(\sum^{n=1}_{m}\frac{1}{n})
Let b be the greatest lower bound of \frac{1}{m}. If b=0, then:
\frac{1}{m}>0 for all m
Since b+ε cannot be a greatest lower bound, then:
0+ε>\frac{1}{N} for some N
if m≥N, then f(N)≥\frac{1}{m}, since the function is monotonically decreasing. So:
0+ε>f(N)>\frac{1}{m}>0
Therefore:
ε>\frac{1}{m}>0, where ε>0 can be made arbitrarily close to 0.
Therefore, by the squeeze theorem, the limit of \frac{1}{m} as m→∞ is 0.
Therefore,
\displaystyle{\lim_{m\rightarrow ∞}}(\frac{1}{m})*\displaystyle{\lim_{m\rightarrow ∞}}(\sum^{n=1}_{m}\frac{1}{n})=0

 

[mathman]

I haven't analyzed your proof. However, the sum ~ ln(m), so the expression is ~ ln(m)/m -> 0

 

[kahwawashay1]

I haven't analyzed your proof. However, the sum ~ ln(m), so the expression is ~ ln(m)/m -> 0

Yes I know that but ln(m)→∞ as m→∞...so either way you have an indeterminate form...

 

[kahwawashay1]

Is my question stupid or does no one know the answer?

 

[Mute]

Yes I know that but ln(m)→∞ as m→∞...so either way you have an indeterminate form...

"Indeterminate form" does not mean the expression does not have a limit, it just means that the limit, if it exists, cannot be found by directly plugging in "m = infinity" into your expression.

log(m)/m is indeterminate, but the value of the limit can be found using L'Hopital's rule.

Your original proof was incorrect, it seems, because you didn't actually evaluate the indeterminate form, you just figured out one part of the expression had the limit of zero and wrote that as the answer. In this case, zero happened to be the answer, but for different reasons.

To really prove the limit, you could use the integral test to put an upper bound on the sum, and then show the limit of the upper bound is zero (which will require you to use L'Hopital's rule). This is essentially what mathman told you to do.