Divergence test (necessary but not sufficient)

WHAT is the Divergence Test?

So the test is a one-way street:

It can only ever prove divergence.
It can never prove convergence.

WHY is it true? (Derivation from scratch)

We build it from the definition of a convergent series.

Step 1 — What "converges" means. Let the partial sums be $S_N = \sum_{n=1}^{N} a_n$ . The series converges to $S$ means: $\lim_{N\to\infty} S_N = S \quad (S \text{ finite}).$ Why this step? "Sum of a series" is defined as the limit of partial sums — there's no other meaning to grab onto.

Step 2 — Recover a single term from partial sums. Notice the algebra: $a_N = S_N - S_{N-1}.$ Why this step? The $N$ -th term is exactly "the running total now" minus "the running total one step ago." This is the key trick that links $a_n$ to $S_N$ .

Step 3 — Take the limit. If the series converges, then $S_N \to S$ and $S_{N-1}\to S$ (shifting the index by one doesn't change a limit). So: $\lim_{N\to\infty} a_N = \lim_{N\to\infty}(S_N - S_{N-1}) = S - S = 0.$ Why this step? Limit of a difference = difference of limits, since both limits exist and are finite.

Step 4 — Contrapositive = the test. We just proved: $\sum a_n \text{ converges} \;\Longrightarrow\; \lim a_n = 0.$ The contrapositive (logically equivalent) is: $\lim a_n \neq 0 \;\Longrightarrow\; \sum a_n \text{ diverges}.$ Why this step? " $P\Rightarrow Q$ " is always equivalent to "not $Q\Rightarrow$ not $P$ ." That's the test. $\blacksquare$

Figure — Divergence test (necessary but not sufficient)

The famous counterexample (why "not sufficient")

Worked example Harmonic series — terms → 0 but series DIVERGES

$\sum_{n=1}^\infty \frac{1}{n}, \qquad a_n = \frac1n \to 0.$ The Divergence Test says nothing. But group the terms: $\underbrace{\tfrac12}_{\ge \frac12} + \underbrace{\tfrac13+\tfrac14}_{\ge \frac24=\frac12} + \underbrace{\tfrac15+\cdots+\tfrac18}_{\ge \frac48=\frac12} + \cdots$ Why this step? Each bracket has terms $\ge$ its smallest term, and we double the bracket length each time, so each bracket totals $\ge \frac12$ . Adding $\frac12$ infinitely many times $\to \infty$ . Conclusion: $\sum \frac1n$ diverges even though $a_n\to 0$ . Proof that the test cannot detect convergence.

Worked Examples (Forecast-then-Verify)

How to USE it (decision procedure)

It's the cheapest first check (80/20): one limit can instantly kill many series before you do hard work.

Common Mistakes

Recall Feynman: explain to a 12-year-old

Imagine you keep dropping pebbles into a jar to fill it to a line. If your pebbles don't get smaller (you keep dropping fist-sized rocks), the jar overflows for sure — it can't stop at the line. That's the Divergence Test: rocks not shrinking ⇒ overflow (diverges). But here's the twist: even if your pebbles do get tinier and tinier, the jar might still overflow if there are enough of them and they don't shrink fast enough. So "pebbles getting smaller" is needed for the jar to fill nicely, but it's not a promise that it will. You have to check more carefully.

Connections

Partial Sums and Series Convergence — the definition this test is built from.
Harmonic Series — star counterexample for "not sufficient."
p-Series Test — handles the $a_n\to 0$ cases the test can't.
Integral Test, Comparison Test — next tools when the test is inconclusive.
Telescoping Series — uses the $a_N=S_N-S_{N-1}$ trick directly.
Limits of Sequences — the engine for computing $\lim a_n$ .

Flashcards

What does the Divergence Test conclude if

\lim a_n \neq 0

The series diverges.

What does the Divergence Test conclude if

\lim a_n = 0

Nothing — it is inconclusive.

Why can the Divergence Test never prove convergence?

It's the contrapositive of "converges ⇒ terms→0"; it only detects the failure of a necessary condition, not a sufficient one.

State the necessary condition for

\sum a_n

to converge.

\lim_{n\to\infty} a_n = 0

Give a series where

a_n\to 0

but the series diverges.

The harmonic series

\sum 1/n

Key algebraic identity used to derive the test.

a_N = S_N - S_{N-1}

Does

\sum (-1)^n

converge by this test?

No;

\lim(-1)^n

DNE

\neq 0

, so it diverges.

\sum 1/n^2

\sum 1/n

: what does the divergence test say about each?

Nothing for either — both have terms →0 (yet one converges, one diverges).

"Necessary but not sufficient" means what here?

Convergence forces terms→0 (necessary), but terms→0 does not force convergence (not sufficient).

Concept Map

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, idea bahut simple hai. Agar tum infinitely many numbers ko add karke ek finite total chahte ho, toh jo numbers tum add kar rahe ho woh zero ki taraf jaane chahiye. Agar terms zero pe nahi jaate (limit non-zero hai ya exist hi nahi karti), toh sum kabhi settle nahi hoga — woh pakka diverge karega. Yahi Divergence Test hai: lim a_n != 0 ⇒ series diverges. Bas itna.

Lekin ek bada trap hai, aur yahi exam mein sabko maarta hai: agar lim a_n = 0 ho jaaye, toh test kuch nahi bolta — bilkul inconclusive. Iska matlab hai ki "terms zero ja rahe hain, isliye series converge karegi" — yeh galat hai. Classic example: harmonic series sum 1/n. Yahan terms zero pe jaate hain phir bhi total infinity ho jaata hai. Compare karo sum 1/n^2 se — wahan bhi terms zero jaate hain par yeh converge karta hai (pi^2/6). Same type of terms, ulta result! Isiliye bolte hain: condition necessary hai par sufficient nahi.

Derivation bhi yaad rakhna easy hai. Partial sum S_N = a_1+...+a_N. Ek single term ko aise nikaalo: a_N = S_N - S_{N-1}. Agar series converge karti hai toh S_N aur S_{N-1} dono same limit S pe jaate hain, toh a_N -> S - S = 0. Iska contrapositive lo: agar a_n zero pe nahi gaya, toh series converge nahi kar sakti. Test ready.

Practical strategy (80/20): kisi bhi series pe sabse pehle yeh test lagao kyunki sirf ek limit nikaalni hai. Agar non-zero mila — kaam khatam, diverges. Agar zero mila — ghabrao mat, bas aage badho integral test, p-series, ya comparison test ki taraf. Mnemonic yaad rakho: "No-zero, NO-GO; zero mile toh investigate."

Divergence test (necessary but not sufficient)

WHAT is the Divergence Test?

WHY is it true? (Derivation from scratch)

The famous counterexample (why "not sufficient")

Worked Examples (Forecast-then-Verify)

How to USE it (decision procedure)

Common Mistakes

Connections

Flashcards

Concept Map

Hinglish (regional understanding)

Go deeper — visual, from zero

Test yourself — Calculus III — Sequences & Series

Connections