Visual walkthrough — Divergence test (necessary but not sufficient)

---

Step 0 — The three objects we will draw

Before any proof, we must agree on what our pictures show. There are only three characters in this whole story.

Why these three? A series is nothing but a list of terms ($a_n$) turned into a list of running totals ($S_N$) that may or may not settle on a target ($S$). Everything below is a relationship between these three.

Look at the figure: the blue dots are the terms $a_n$ (heights of individual bars), and the yellow staircase is the running total $S_N$ climbing as we glue each bar on top.

---

Step 1 — What "converges" looks like

WHAT. Suppose the series converges. Then the yellow staircase $S_N$ approaches a fixed horizontal line at height $S$.

WHY. "Sum of infinitely many things" has no other meaning than "the height the running total settles at." We are not allowed to invent a different definition — so this picture is the definition of convergence.

PICTURE. The staircase steps get shorter and shorter and the top of the staircase hugs the dashed line $y=S$. In symbols: ${\lim }_{N\to \infty }{S}_N=S,S\text{ finite}.$ Here $\lim$ ("the limit") is shorthand for the question "what single height does $S_N$ home in on as $N$ runs off to infinity?" and the answer is the finite number $S$.

---

Step 2 — Recover one term from two heights

WHAT. Read off a single term $a_N$ purely from staircase heights: $a_N=\underset{\text{total now}}{\underbrace{S_N}}-\underset{\text{total one step ago}}{\underbrace{S_{N-1}}}.$

WHY. This is the hinge of the entire proof. If we want to say something about the term $a_N$ using facts about the staircase, we need a bridge connecting them. This is that bridge: the newest bar's height equals how much the staircase just rose.

Each symbol's job:

• $S_N$ = the staircase height after adding term $N$,
• $S_{N-1}$ = the staircase height before adding term $N$ (one step back),
• their difference = precisely the height of the single blue bar you just placed, which is $a_N$.

PICTURE. The figure shows the two staircase heights side by side; the green gap between them is exactly the last blue bar. The bar is the jump.

---

Step 3 — Both heights aim at the same target

WHAT. If $S_N\to S$, then also $S_{N-1}\to S$.

WHY. $S_{N-1}$ is the same staircase, just read one step earlier. Shifting where you start counting by one step cannot change where the staircase eventually ends up. As $N\to \infty$, "$N-1$" also marches off to infinity, chasing the very same dashed line at height $S$.

PICTURE. Two arrows on the staircase — one labelled $S_N$, one labelled $S_{N-1}$ — both point at the same dashed target line $y=S$. They are separated by only one step, and that gap becomes irrelevant far out.

---

Step 4 — The terms are squeezed to zero

WHAT. Take the limit of the bridge identity from Step 2: ${\lim }_{N\to \infty }{a}_N={\lim }_{N\to \infty }(S_N-S_{N-1})=\underset{\text{from }{S}_N}{\underbrace{S}}-\underset{\text{from }{S}_{N-1}}{\underbrace{S}}=0.$

WHY. The limit of a difference is the difference of the limits — but only when both limits exist and are finite, which Steps 1 and 3 guaranteed. Both heights approach the same $S$, so their gap (the newest bar) is squeezed down to $0$.

Symbol by symbol:

• $\lim a_N$ = the height the bars eventually shrink to,
• $S-S$ = same target minus same target = $0$.

PICTURE. As the staircase flattens against $y=S$, the green gaps (the bars) get thinner and thinner — visibly crushed toward the axis. The bars must vanish because there is no room left between two heights that meet.

---

Step 5 — Flip it: the contrapositive is the test

WHAT. Turn the arrow around by logic: ${\lim }_{n\to \infty }{a}_n\ne 0(\text{or DNE})⟹\sum a_n\text{ diverges}.$

WHY. Any true statement "$P\Rightarrow Q$" is logically identical to "not $Q\Rightarrow$ not $P$" — its contrapositive. Here $P$ = "series converges", $Q$ = "terms $\to 0$". Negating both and swapping gives: if the terms do NOT go to zero, the series does NOT converge. Same truth, told from the other end.

PICTURE. A two-lane logic diagram: the top lane is the arrow we proved (converge $\Rightarrow$ terms$\to 0$); the bottom lane is its mirror image (terms$\ne 0\Rightarrow$ diverge). They are the same road driven in opposite directions.

---

Step 6 — The degenerate case: terms don't settle at all

WHAT. What if $\lim a_n$ does not exist (DNE) — the terms never approach any single value? Example: $a_n=(-1{)}^n$ bounces $-1,+1,-1,+1,\dots$ forever.

WHY include it? Step 4 needs the term-limit to be zero. "DNE" is certainly "not equal to zero" — a limit that doesn't exist cannot equal the specific number $0$. So the test still fires: diverges.

PICTURE. The blue bars flip above and below the axis and never shrink toward it. The yellow staircase see-saws between two heights and never picks a target line — no $S$ exists.

---

Step 7 — The trap: terms → 0 but the sum still explodes

WHAT. Now the case the test cannot handle. The Harmonic Series $\sum \frac{1}{n}$ has bars that do shrink to $0$, yet the staircase climbs forever with no ceiling.

WHY it matters. This is living proof that "terms $\to 0$" is not sufficient. The bars vanish, so Step 4's necessary condition holds — but the staircase still runs off to $+\infty$ because the tiny bars pile up faster than they shrink.

PICTURE. Bracket the terms in doubling blocks: $\underset{\ge \frac{1}{2}}{\underbrace{\frac{1}{2}}}+\underset{\ge \frac{1}{2}}{\underbrace{\frac{1}{3}+\frac{1}{4}}}+\underset{\ge \frac{1}{2}}{\underbrace{\frac{1}{5}+\cdots +\frac{1}{8}}}+\cdots$ Each block's terms are all at least as big as the block's smallest term, and each block is twice as long — so every block sums to at least $\frac{1}{2}$. Adding $\frac{1}{2}$ infinitely many times gives $\infty$. The figure shows the blue bars fading toward zero while the yellow staircase keeps rising past every dashed level.

---

The one-picture summary

Everything above compressed into a single frame: the top row shows the converging world (staircase reaches $S$ ⟹ bars squeezed to $0$), the bottom row shows the two failure modes the test detects (bars not shrinking / bars oscillating ⟹ staircase can't settle ⟹ diverges), and the corner flags the trap (bars $\to 0$ yet staircase escapes ⟹ test silent).

Recall Feynman retelling of the whole walkthrough

Picture a staircase you build by stacking bars, one per step. The height of each new bar is exactly how much the staircase just climbed — that's our bridge, $a_N=S_N-S_{N-1}$.

Now suppose the staircase eventually stops climbing and rests at some ceiling height $S$. Read the staircase one step ago: it's also basically at $S$ (one stride can't matter when you've already stopped). So the newest bar — the gap between "now" and "one step ago" — has nowhere to live; it's squeezed to zero. Conclusion: if the staircase settles, the bars must vanish.

Flip that sentence around and you have the test: if the bars refuse to vanish (they stay big, or they flip back and forth forever), the staircase can never settle — the series diverges. That flip is the only thing the test can ever say.

The twist: bars vanishing does not promise the staircase settles. The harmonic staircase has bars fading to nothing yet climbs forever, because the little bars keep piling up in doubling blocks each worth half a step. So "bars → 0" is needed but never a guarantee. Zero terms? Don't celebrate — investigate.

---

Connections

• Partial Sums and Series Convergence — the staircase $S_N$ we drew is exactly this.
• Telescoping Series — built directly on the bridge $a_N=S_N-S_{N-1}$.
• Limits of Sequences — the machinery behind every $\lim$ in these steps.
• Harmonic Series — the Step 7 trap in full.
• p-Series Test, Integral Test, Comparison Test — what to reach for when Step 7 leaves the test silent.

---

Flashcards