Divergence test (necessary but not sufficient): Foundations

Before you can use the Divergence Test on the parent topic, you must be able to read every symbol it throws at you without flinching. This page builds each one from absolute zero — plain words first, then the picture, then why the topic needs it. Read top to bottom; each piece leans on the one before it.

1. A sequence — an infinite list of numbers

What it looks like. Picture beads threaded on a wire, one bead per position. The first bead is $a_{1}$ , the second $a_{2}$ , and so on with no last bead.

Why the topic needs it. The Divergence Test is a statement about the terms $a_{n}$ — specifically about where they head. You cannot ask "do the terms shrink to zero?" until you know what "the terms" even are. That's the sequence. See Limits of Sequences for the full machinery.

2. The limit $lim_{n \to \infty} a_{n}$ — where the list is heading

What it looks like. Draw a horizontal dashed line at height $L$ . Plot each bead $a_{n}$ as a dot at horizontal position $n$ . If the dots hug that dashed line more and more tightly as you move right, the limit is $L$ .

Why the topic needs it. The entire test is phrased as a limit: compute $lim a_{n}$ , then check whether it is zero. This is the single computation the whole test rides on.

3. "DNE" — when there is no target at all

What it looks like. Two ways a limit can fail:

Bouncing forever: the dots jump between values and never calm down (e.g. $(- 1)^{n}$ gives $- 1, + 1, - 1, + 1, \dots$ ).
Running away: the dots march off to $+ \infty$ (or $- \infty$ ) and never level out.

Why the topic needs it. Example 2 in the parent, $\sum (- 1)^{n}$ , has no limit. The test still works, but only because "DNE" is treated as "definitely not settling to zero."

4. The sigma symbol $\sum$ — shorthand for "add them up"

What it looks like. Think of $\sum$ as a machine that eats a list of beads and spits out their running total. Feed it beads $a_{1}$ through $a_{4}$ , it hands back one number.

Why the topic needs it. The object the test judges — "does the series diverge?" — is this sigma with $\infty$ on top. No sigma, no series, no test.

5. Partial sums $S_{N}$ — the running total after $N$ terms

What it looks like. Water rising in a jar. Each new term $a_{n}$ pours in a little more; the water level after $N$ pours is $S_{N}$ . Notice the levels form their own sequence: $S_{1}, S_{2}, S_{3}, \dots$

Why the topic needs it. This is the whole engine. "The series converges" is defined as " $S_{N}$ approaches a finite number." And the identity $a_{N} = S_{N} - S_{N - 1}$ is the algebraic bridge the parent uses in Step 2 to link a single term back to the totals — the exact trick that proves the test.

6. Converges vs diverges — the two verdicts

What it looks like. Two jars side by side: one fills toward a marked line and stops (converges); the other overflows or sloshes forever (diverges). Full picture in Partial Sums and Series Convergence.

Why the topic needs it. These are the only two verdicts a series test can hand down. The Divergence Test's superpower — and its limit — is that it can only ever shout "diverges!" and can never certify "converges."

7. The logic word: contrapositive

Why the topic needs it. The parent proves the easy direction — "if the series converges, then $a_{n} \to 0$ ." Flipping it into its contrapositive — "if $a_{n} \neq \to 0$ , then the series diverges" — is the Divergence Test. Understanding this flip is understanding why the test is "one-way."

How these feed the topic

Equipment checklist

Read each cue, answer in your head, then reveal.

What does

a_{n}

mean, in plain words?

The

n

-th number (the term at position

n

) in an infinite ordered list.

What does

n \to \infty

tell the counter to do?

Run forever — take positions

1, 2, 3, \dots

without stopping.

State

lim_{n \to \infty} a_{n} = L

in words.

As you go far out in the list, the terms get and stay arbitrarily close to the single number

L

Give one way a limit can "DNE."

The terms bounce between values forever (like

(- 1)^{n}

) or run off to infinity, never settling near one number.

What does

\sum_{n = 1}^{\infty} a_{n}

instruct you to do?

Add the terms

a_{1} + a_{2} + a_{3} + \dots

endlessly — this endless sum is the series.

What is

S_{N}

The partial sum — the running total

a_{1} + \dots + a_{N}

after exactly

N

terms.

Write the identity linking a single term to partial sums.

a_{N} = S_{N} - S_{N - 1}

What does it mean for a series to converge?

The running totals

S_{N}

approach a single finite number

S

Difference between

a_{n} \to 0

and

S_{N} \to 0

a_{n} \to 0

= the amount added each step shrinks to zero;

S_{N} \to 0

= the running total heads to zero (a different, rarer statement).

What is the contrapositive of "If

P

then

Q

"If not

Q

then not

P

" — logically identical to the original.

Connections

Partial Sums and Series Convergence — where $S_{N}$ and "converges to $S$ " are defined in full.
Limits of Sequences — the engine for computing $lim a_{n}$ .
Harmonic Series — the counterexample these foundations set up.
Parent: Divergence Test — where every symbol here gets used.