# What's the use of this theorem about series?

Theorem:

If $\sum_{n=1}^{\infty} a_n$ converges, then $\lim_{n \to \infty} a_n = 0$. Therefore, if $\lim_{n \to \infty} a_n$ does not exist, or exists but is not zero, then the series $\sum_{n=1}^{\infty} a_n$ is divergent.

Now, I think the whole point of such a theorem is to use the limit to test if a series converges or diverges. But apparently, the converse of this theorem is false. We cannot conclude that if $\lim_{n \to \infty} a_n = 0$, then $\sum_{n=1}^{\infty} a_n$ converges. For example, the harmonic series is a counter example to this.

But I guess my question then is: why is there such a theorem if it doesn't go in both ways? I mean, if I know that my series converges, then I automatically know that the limit of the series will be zero. That's not really interesting. I would want the limit to give me information about my series, but that's not possible here, because if the $n$th term approaches $0$ as $n$ approaches $\infty$, then the series may or may not converge.

• Knowing that a series is divergent is useful information. As you said, you take the limit, it doesn't exist or is not zero them you know the series is divergent.
– Pp..
Commented Dec 31, 2014 at 14:05
• You are correct in noticing that if the $n$th term approaches 0, then you cannot immediately tell if the series converges. What you *can* tell is the **contrapositive** which states that if the terms $a_n$ do not approach zero, then the series cannot converge. Example: $\sum_{n=1}^\infty (-1)^n$. Why we care about the theorem despite it not being a necessary and sufficient condition is that it is generally incredibly easy to check for the necessary condition and can save a great deal of time. Commented Dec 31, 2014 at 14:06
• Yes, it is useful if a series diverges. But it doesn't tell us anything about whether it converges or not. Commented Dec 31, 2014 at 14:10

Unfortunately, there is no such test. The main tests, the ratio, root, and the currently discussed test (limit of the summand), all have inconclusive cases. In our current test, if the limit of the summand is zero, the test is inconclusive. If the ratio of consecutive terms or $n$'th root of the $n$'th term tend to one those tests are inconclusive.