4.3.6 · D5Calculus III — Sequences & Series
Question bank — Divergence test (necessary but not sufficient)
Before we start, one reminder of the vocabulary, so no symbol appears un-earned:
True or false — justify
Terms → 0 guarantees the series converges.
False. That is the converse of the test and it fails: has terms yet diverges (see Harmonic Series). Terms → 0 is necessary, not sufficient.
If then diverges.
True. This is exactly the test; a non-vanishing term means the running total keeps getting kicked by roughly the same-sized amount forever, so it cannot settle.
The Divergence Test can prove a series converges.
False. It is a one-way street: its only outputs are "diverges" or "inconclusive". It can never emit "converges".
If the series definitely converges.
False. Zero limit only passes the necessary condition; the series may still diverge (harmonic) or converge (the $p$-series ). You must reach for a stronger test.
"Necessary but not sufficient" means every convergent series has terms → 0, but not every terms-→-0 series converges.
True. Convergence forces terms → 0 (necessary), while terms → 0 does not force convergence (not sufficient).
If does not exist, the series diverges.
True. "DNE" is not equal to , so it triggers the test just like a nonzero limit. Example: diverges because never settles.
The Divergence Test is the contrapositive of "converges terms ".
True. From (converges limit is 0) we form not- not- (limit not 0 diverges), which is logically identical.
If two series have the same limit-zero terms, they must have the same fate.
False. converges and diverges, yet both have terms . Same limit, opposite fates — proof the test cannot distinguish them.
A series can converge even though infinitely many of its terms are large.
False. If infinitely many terms stay bounded away from , the limit is not (or DNE), so by the test it must diverge; convergence forbids that.
Spot the error
", so by the Divergence Test converges."
The error is expecting a "converges" verdict. When the limit is the test is silent; it never outputs convergence. In fact diverges — you would need the Integral Test or the doubling-bracket argument to see that.
" because the values average out, so the series converges."
Two errors. The limit is not — it does not exist, because the terms alternate forever. And since the limit fails to be , the test concludes the series diverges, not converges.
"The terms of go to , so the test is inconclusive."
The limit is , not (divide top and bottom by ). Since , the test is decisive: the series diverges. The claim mislabels a nonzero limit as zero.
"I showed , therefore I'm done — the series is classified."
A zero limit finishes nothing. The test returns "inconclusive", so the classification is still open. You must apply another tool (comparison, -series, integral, ratio, alternating).
", so the series converges to a sum of ."
Confusing the term with the running total. is the partial sum; is the individual term. Convergence means approaches a finite (often nonzero), not that approaches .
" has tiny terms that vanish, so it converges."
Vanishing terms never prove convergence. but shrinks slower than , so by comparison with the Harmonic Series it diverges. Slow enough shrinking still lets infinitely many pieces pile to infinity.
"Since and both go to , the difference is , so terms ."
Arithmetic slip: , not . Both partial sums approach the same limit , so their difference approaches — which is precisely why convergent series have terms → 0.
Why questions
Why is only necessary and not sufficient for convergence?
Because the terms can shrink too slowly: infinitely many tiny pieces can still add to infinity (harmonic series). Shrinking is required to have any hope, but it does not control the rate, which is what actually decides the sum.
Why does the identity sit at the heart of the derivation?
It bridges the term and the running total: "the new term = total now minus total one step ago". Taking limits then forces whenever the series converges. The same telescoping identity powers Telescoping Series.
Why does "the limit does not exist" count the same as "the limit is nonzero"?
The test needs the limit to equal to stay silent. Any failure of that — a nonzero value or no value at all — means the terms don't shrink to zero, so the necessary condition is violated and the series diverges.
Why is the Divergence Test called the cheapest first check?
It costs one limit of (via Limits of Sequences) and can instantly kill many series before any harder machinery. If the limit is clearly nonzero, you are done in a single line.
Why can't we conclude convergence from grouping the harmonic series into brackets ?
That grouping shows the opposite — each doubling block sums to at least , so adding infinitely many blocks pushes the total to infinity. It is a divergence argument, demonstrating that terms → 0 is not enough.
Why does the test never fire on a -series with versus ?
Both have terms , so the limit condition is passed in each case and the test stays silent. Distinguishing (diverges) from (converges) requires the p-Series Test or Integral Test.
Edge cases
What does the test say about ?
The terms tend to , so the necessary condition fails and the series diverges. A limit that looks like it might approach actually approaches .
What about a constant nonzero series ?
, so it diverges immediately — you are adding forever and the running total climbs without bound.
What about , the all-zeros series?
, so the test is inconclusive by rule; but here the partial sums are all , so the series trivially converges to . A reminder that "inconclusive" does not mean "diverges".
What if only the tail of the terms matters — does an early spike change the verdict?
No. Convergence and both depend only on the long-run behaviour, so changing finitely many early terms cannot alter the test's conclusion.
What does the test say about ?
The terms tend to , so it diverges. Even though each term is less than , they never shrink toward .
What about (angle in radians)?
does not exist — the values wander densely over and never settle. Since the limit is not , the test declares divergence.
If the terms oscillate but with shrinking amplitude, say , what does the test say?
, so the test is silent. The alternating structure is decided elsewhere (it actually converges) — the Divergence Test gives no information here.
Connections
- Parent: Divergence Test — the full derivation these traps target.
- Partial Sums and Series Convergence — the vs distinction behind the "spot the error" set.
- Harmonic Series — the canonical "terms → 0 yet diverges" counterexample.
- p-Series Test, Integral Test, Comparison Test — the tools that resolve the inconclusive () cases.
- Telescoping Series — uses the identity directly.
- Limits of Sequences — the engine for computing .