Infinite Series — Convergence Tests

Convergence tests are systematic criteria for deciding whether an infinite series

\sum a_{n}

converges (sums to a finite value) or diverges. Key result in words: a series converges if and only if its sequence of partial sums has a finite limit, and a battery of comparison-, ratio-, root-, and integral-based tests provides practical ways to detect this without computing the limit directly. They apply throughout analysis, physics, numerical computation, and the theory of functions. Developed by Cauchy, d'Alembert, Abel, Dirichlet, Raabe, and others, c. 1700–1900.

An infinite series is the formal sum $\sum_{n = 1}^{\infty} a_{n}$ of the terms of a sequence; its value (when it exists) is the limit $S = lim_{N \to \infty} S_{N}$ of the partial sums $S_{N} = a_{1} + \dots + a_{N}$ . Convergence tests matter because almost every transcendental function, physical quantity, and numerical approximation is ultimately defined by a series, and one must know whether the symbol $\sum a_{n}$ denotes a number at all. The surprising fact is that convergence is a remarkably delicate property: the harmonic series $\sum 1/ n$ diverges although its terms vanish, while a tiny change to $\sum 1/ n^{1.0001}$ converges — and rearranging the terms of a conditionally convergent series can produce any real sum whatsoever (Riemann's theorem). This article assembles every standard undergraduate test, the logic behind each, and the traps that ensnare beginners.

The Core Insight

A series is nothing but a sequence in disguise — the sequence of its partial sums. All convergence tests are devices for deciding whether $(S_{N})$ is Cauchy without evaluating $lim S_{N}$ . They do this by comparing the unknown series to a known benchmark (geometric series, $p$ -series, an integral) either directly, or asymptotically through ratios and roots. The deepest dividing line is between absolute convergence (robust, behaves like finite arithmetic) and conditional convergence (fragile, order-dependent).

Formal Statement

Series, Partial Sums, Convergence

Given a sequence $(a_{n})_{n \geq 1}$ of real (or complex) numbers, the $N$ -th partial sum is

S_{N} = n = 1 \sum N a_{n} = a_{1} + a_{2} + \dots + a_{N} .

⟳a finite sum, always well-defined; the series is the sequence

(S_{N})

The infinite series $\sum_{n = 1}^{\infty} a_{n}$ converges to $S$ if

S = N \to \infty lim S_{N}, i.e. \forall ε > 0 \exists M : N \geq M \Rightarrow ∣ S_{N} - S ∣ < ε .

⟳ordinary sequence-limit definition applied to the partial sums.

If no finite limit exists, the series diverges. The series converges absolutely if $\sum ∣ a_{n} ∣$ converges, and converges conditionally if $\sum a_{n}$ converges but $\sum ∣ a_{n} ∣$ diverges.

Cauchy Criterion for Series

\sum a_{n}

converges if and only if for every

ε > 0

there is

M

such that for all

n > m \geq M

k = m + 1 \sum n a_{k} < ε .

⟳

(S_{N})

converges iff it is Cauchy, by completeness of

R

; the tail sum is

S_{n} - S_{m}

The Standard Benchmarks

Two reference series anchor all comparison-based tests.

Geometric series: for

r \in R

n = 0 \sum \infty r^{n} = \frac{1}{1 - r} if ∣ r ∣ < 1, diverges if ∣ r ∣ \geq 1.

⟳

S_{N} (1 - r) = 1 - r^{N + 1}

; let

N \to \infty

with

∣ r ∣ < 1

$p$ -series: for

p \in R

n = 1 \sum \infty \frac{1}{n ^{p}} converges ⟺ p > 1.

⟳compare with

\int_{1}^{\infty} x^{- p} d x

, which is finite iff

p > 1

(see Integral Test).

Catalogue of Convergence Tests

Let $a_{n}$ denote the terms; assume series start at a convenient index.

$n$ -th Term (Divergence) Test. If $a_{n} \neq \to 0$ , then $\sum a_{n}$ diverges. (Necessary, not sufficient.)
Comparison Test. If $0 \leq a_{n} \leq b_{n}$ and $\sum b_{n}$ converges, then $\sum a_{n}$ converges. If $0 \leq b_{n} \leq a_{n}$ and $\sum b_{n}$ diverges, so does $\sum a_{n}$ .
Limit Comparison Test. If $a_{n}, b_{n} > 0$ and $lim a_{n} / b_{n} = L \in (0, \infty)$ , the two series share their fate.
Integral Test. If $f$ is positive, continuous, decreasing with $f (n) = a_{n}$ , then $\sum a_{n}$ and $\int_{1}^{\infty} f$ converge or diverge together.
Ratio Test (d'Alembert). Let $L = lim ∣ a_{n + 1} / a_{n} ∣$ . Then $L < 1 \Rightarrow$ absolute convergence, $L > 1 \Rightarrow$ divergence, $L = 1 \Rightarrow$ inconclusive.
Root Test (Cauchy). Let $L = lim sup ∣ a_{n} ∣^{1/ n}$ . Same trichotomy as the ratio test.
Alternating Series Test (Leibniz). If $b_{n} ↓ 0$ , then $\sum (- 1)^{n} b_{n}$ converges, with error bounded by the first omitted term.
Dirichlet's Test. If partial sums of $\sum a_{n}$ are bounded and $b_{n} ↓ 0$ , then $\sum a_{n} b_{n}$ converges.
Abel's Test. If $\sum a_{n}$ converges and $(b_{n})$ is monotone and bounded, then $\sum a_{n} b_{n}$ converges.
Raabe's Test. Let $R = lim n (\frac{a _{n}}{a _{n + 1}} - 1)$ . Then $R > 1 \Rightarrow$ convergence, $R < 1 \Rightarrow$ divergence (refines the ratio test at $L = 1$ ).

Why It Holds / Derivation

Integral Test — the Master Comparison

We prove the Integral Test, from which the $p$ -series criterion follows.

Step 1. Let

f : [1, \infty) \to [0, \infty)

be continuous, positive, decreasing, with

f (n) = a_{n}

. Because

f

decreases, on each interval

[k, k + 1]

f (k + 1) \leq \int_{k}^{k + 1} f (x) d x \leq f (k) .

⟳a decreasing function is bounded below by its right endpoint value and above by its left endpoint value on the interval.

Step 2. Sum [6] from

k = 1

N - 1

k = 2 \sum N a_{k} \leq \int_{1}^{N} f (x) d x \leq k = 1 \sum N - 1 a_{k} .

⟳telescoping the integral

\int_{1}^{N} = \sum_{k} \int_{k}^{k + 1}

and re-indexing the term sums.

Step 3. If

\int_{1}^{\infty} f < \infty

, the right inequality bounds the partial sums of nonnegative terms; a bounded increasing sequence converges, so

\sum a_{n}

converges. If

\int_{1}^{\infty} f = \infty

, the left inequality forces

S_{N} \to \infty

■

Corollary ( $p$ -series). With

f (x) = x^{- p}

\int_{1}^{\infty} x^{- p} d x = \frac{1}{p - 1}

p > 1

and diverges if

p \leq 1

, giving [5].

Ratio Test from the Geometric Series

Step 1. Suppose

L = lim ∣ a_{n + 1} / a_{n} ∣ < 1

. Pick

r

with

L < r < 1

. There is

M

with

\frac{a _{n + 1}}{a _{n}} < r for all n \geq M .

⟳definition of limit with

ε = r - L > 0

Step 2. Iterating [8],

∣ a_{M + k} ∣ < r^{k} ∣ a_{M} ∣

, so

n = M \sum \infty ∣ a_{n} ∣ \leq ∣ a_{M} ∣ k = 0 \sum \infty r^{k} = \frac{∣ a _{M} ∣}{1 - r} < \infty.

⟳geometric domination, then sum the geometric series [4].

By comparison with this convergent geometric tail, $\sum ∣ a_{n} ∣$ converges, so $\sum a_{n}$ converges absolutely. If $L > 1$ , eventually $∣ a_{n + 1} ∣ > ∣ a_{n} ∣$ , so $a_{n} \neq \to 0$ and the series diverges by the $n$ -th term test. $■$

Alternating Series Test

Let $b_{n} ↓ 0$ and $S_{N} = \sum_{n = 1}^{N} (- 1)^{n - 1} b_{n}$ .

Step 1. The even partial sums increase and the odd ones decrease:

S_{2 k} = S_{2 k - 2} + (b_{2 k - 1} - b_{2 k}) \geq S_{2 k - 2}, S_{2 k + 1} = S_{2 k - 1} - (b_{2 k} - b_{2 k + 1}) \leq S_{2 k - 1} .

⟳group consecutive terms in pairs; each pair has the sign forced by monotonicity

b_{n} \geq b_{n + 1}

Step 2. Since

S_{2 k} \leq S_{2 k + 1}

and the even sequence increases while bounded above (by any odd sum), both subsequences converge; and

S_{2 k + 1} - S_{2 k} = b_{2 k + 1} \to 0

, so they share a common limit

S

. Hence

S_{N} \to S

, and

∣ S - S_{N} ∣ \leq b_{N + 1}

■

Augustin-Louis Cauchy | 1789–1857

Cauchy gave the first rigorous definition of convergence via partial sums and the Cauchy criterion in his 1821 Cours d'analyse, ending a century in which series were manipulated formally and divergent sums (like $1 - 1 + 1 - \dots$ ) were assigned values by analogy. He proved the root test and the condensation test that bears his name, and insisted that a series be shown to converge before its sum is used — a methodological revolution. His near-contemporary Jean le Rond d'Alembert (1717–1783) had earlier introduced the ratio test in the context of binomial and hypergeometric series.

Building Intuition

Picture each term $a_{n}$ as the length of a step you take. Convergence asks whether the total walking distance is finite. For the series to even have a chance, the steps must shrink to zero ( $n$ -th term test) — but shrinking is not enough: the harmonic steps $1, \frac{1}{2}, \frac{1}{3}, \dots$ shrink yet you still walk infinitely far, because they shrink too slowly. The boundary is sharp at $p = 1$ : at $1/ n^{p}$ , powers above $1$ shrink fast enough, powers at or below $1$ do not.

The ratio and root tests ask a different question: how fast do the terms shrink, relative to a geometric series? If each step is reliably less than $r < 1$ times the previous one, your path is dominated by a geometric series of finite length. When the shrinkage is exactly geometric in the limit ( $L = 1$ ), the tests go blind — that knife-edge contains the entire family $1/ n^{p}$ , where the ratio tends to $1$ regardless of $p$ .

Alternating series convergence is a cancellation phenomenon: each step partly undoes the last, so even slowly-shrinking steps (like

1/ n

) net out to a finite displacement. This is why

\sum (- 1)^{n - 1} / n = ln 2

converges while

\sum 1/ n

diverges — the same magnitudes, but with signs that cancel.

The convergence landscape of $\sum 1/n^p$: the partial-sum staircase rises without bound for $p\le 1$ and levels off for $p>1$.

<svg viewBox="0 0 640 380" xmlns="http://www.w3.org/2000/svg">
<rect width="640" height="380" fill="#0a0e17"/>
<text x="320" y="28" fill="#e2e8f0" font-size="16" text-anchor="middle" font-family="serif">Partial sums S_N of  Σ 1/n^p</text>
<!-- axes -->
<line x1="70" y1="330" x2="600" y2="330" stroke="#94a3b8" stroke-width="1.5"/>
<line x1="70" y1="330" x2="70" y2="60" stroke="#94a3b8" stroke-width="1.5"/>
<text x="600" y="352" fill="#e2e8f0" font-size="13" text-anchor="end" font-family="serif">N (terms summed)</text>
<text x="40" y="70" fill="#e2e8f0" font-size="13" font-family="serif">S_N</text>
<!-- p=2 convergent curve (levels off near pi^2/6 ~ 1.645) -->
<path d="M70,300 C140,210 220,175 320,168 C420,164 520,162 600,161" fill="none" stroke="#d4a853" stroke-width="2.5"/>
<text x="500" y="150" fill="#d4a853" font-size="13" font-family="serif">p = 2  (converges → π²/6)</text>
<line x1="70" y1="161" x2="600" y2="161" stroke="#d4a853" stroke-width="0.7" stroke-dasharray="4 4"/>
<!-- p=1 harmonic, slow unbounded growth (log) -->
<path d="M70,300 C150,250 260,215 380,190 C480,170 560,150 600,138" fill="none" stroke="#7dd3fc" stroke-width="2"/>
<text x="430" y="120" fill="#7dd3fc" font-size="13" font-family="serif">p = 1  (diverges, ~ ln N)</text>
<!-- p=0.5 faster unbounded growth -->
<path d="M70,300 C140,240 220,180 300,130 C360,95 430,72 500,62" fill="none" stroke="#f87171" stroke-width="2"/>
<text x="300" y="78" fill="#f87171" font-size="13" font-family="serif">p = 0.5  (diverges, ~ 2√N)</text>
<!-- boundary annotation -->
<text x="120" y="60" fill="#e2e8f0" font-size="12" font-family="serif">boundary at p = 1</text>
</svg>

Worked Examples

Ratio Test on a Factorial Series

Given: Determine convergence of

n = 1 \sum \infty \frac{3 ^{n}}{n !}

. Step 1. Form the ratio of consecutive terms:

\frac{a _{n + 1}}{a _{n}} = \frac{3 ^{n + 1} / ( n + 1 )!}{3 ^{n} / n !} = \frac{3 ^{n + 1}}{3 ^{n}} \cdot \frac{n !}{( n + 1 )!} = \frac{3}{n + 1} .

Step 2. Take the limit:

L = n \to \infty lim \frac{3}{n + 1} = 0.

Step 3. Since

L = 0 < 1

, the Ratio Test gives absolute convergence. Bonus: the sum is in fact

\sum_{n = 0}^{\infty} 3^{n} / n! = e^{3}

, so

\sum_{n = 1}^{\infty} = e^{3} - 1 \approx 19.086

(dimensionless).

Converges absolutely; L = 0 < 1, S = e^{3} - 1 \approx 19.086.

Integral Test and a $p$-Series Near the Boundary

Given: Does

n = 2 \sum \infty \frac{1}{n ( ln n ) ^{p}}

converge? (Take general

p

, then

p = 1

and

p = 2

.) Step 1. Let

f (x) = \frac{1}{x ( l n x ) ^{p}}

— positive, continuous, decreasing for

x \geq 2

. Substitute

u = ln x

d u = d x / x

\int_{2}^{\infty} \frac{d x}{x ( ln x ) ^{p}} = \int_{l n 2}^{\infty} \frac{d u}{u ^{p}} .

Step 2. This is a

u

-integral of power

- p

, finite iff

p > 1

. Hence the series converges iff $p > 1$ . Step 3 (specific values).

$p = 1$ : integral $= \int_{l n 2}^{\infty} d u / u = \infty$ → diverges (a famous borderline failure).
$p = 2$ : integral $= [- 1/ u]_{l n 2}^{\infty} = 1/ ln 2 \approx 1.443$ → converges.

Converges ⟺ p > 1; p = 1 diverges, p = 2 converges (integral \approx 1.443) .

Common Misconceptions

"If $a_{n} \to 0$ , the series converges." False. Vanishing terms are necessary but not sufficient. The harmonic series

\sum 1/ n

has

a_{n} \to 0

yet diverges. The

n

-th term test can only prove divergence (when

a_{n} \neq \to 0

); it can never prove convergence. "The Ratio Test settled it; it's never inconclusive." When

L = 1

the Ratio Test says nothing — and this case is huge: every

p

-series has

lim a_{n + 1} / a_{n} = 1

. Switch to the Integral, Raabe's, or Comparison tests there. "I can rearrange the terms freely." Only for absolutely convergent series. A conditionally convergent series can be rearranged to sum to any chosen real number, or to

\pm \infty

(Riemann rearrangement theorem). "The Root and Ratio tests always agree." They have the same threshold, but the Root Test is strictly stronger: whenever the ratio limit exists the root limit equals it, but the root test (using

lim sup

) succeeds on some series where the ratio limit fails to exist.

Vanishing Terms, Divergent Series

The harmonic series $\sum_{n = 1}^{\infty} 1/ n$ has terms $\to 0$ but diverges. Cauchy's condensation / grouping shows why:

1 + \geq 1/2 \frac{1}{2} + \geq 1/2 \frac{1}{3} + \frac{1}{4} + \geq 1/2 \frac{1}{5} + \dots + \frac{1}{8} + \dots

Each bracketed block sums to at least

1/2

, so the partial sums exceed

1 + \frac{k}{2} \to \infty

. The terms shrink, but never fast enough.

Ratio Test Blindness

For both $\sum 1/ n$ (diverges) and $\sum 1/ n^{2}$ (converges) the ratio limit is identical:

n \to \infty lim \frac{1/ ( n + 1 ) ^{p}}{1/ n ^{p}} = n \to \infty lim (\frac{n}{n + 1})^{p} = 1 for every p .

The Ratio Test cannot distinguish them — proof that

L = 1

is genuinely undecided and requires a finer instrument.

Connections

Convergence tests are the gateway to several deeper structures. The radius of convergence of a Power Series is computed directly by the Root Test via the Cauchy–Hadamard formula $1/ R = lim sup ∣ c_{n} ∣^{1/ n}$ . The distinction between absolute and conditional convergence governs when one may interchange limits, integrate, or differentiate term-by-term — the heart of Uniform Convergence and the Weierstrass $M$ -test. The Integral Test forges the precise link with Improper Integrals, so that knowing one settles the other. Beyond convergence lies the theory of Summation Methods (Cesàro, Abel, Borel), which assigns meaningful values to certain divergent series. Finally, Taylor Series and Fourier Series are the principal sources of series whose convergence one must test in practice.

Real-World Applications

Computing transcendental constants. $π$ , $e$ , $ln 2$ , and Euler's $γ$ are evaluated by series whose tail bounds (e.g. the alternating-series error estimate) certify the number of correct digits.
Numerical analysis & error control. Truncation error of a series approximation is bounded using the same comparison/integral estimates; this drives adaptive quadrature and special-function libraries.
Quantum field theory (perturbation series). Feynman-diagram expansions are typically asymptotic and divergent; understanding their (non)convergence and resumming them (Borel summation) is essential to extracting physical predictions.
Signal processing (Fourier series). Convergence of partial Fourier sums (Dirichlet's test, Gibbs phenomenon) determines how well finite sums reconstruct waveforms.
Probability & statistics. Convergence of $\sum P (A_{n})$ underlies the Borel–Cantelli lemmas; moment-generating functions are power series whose radius of convergence controls tail behavior.
Riemann zeta function & number theory. $ζ (s) = \sum n^{- s}$ converges for $ℜ (s) > 1$ (a $p$ -series criterion in disguise), the foundation of analytic number theory and the prime-counting machinery.
Structural engineering & physics. Series solutions of differential equations (Bessel, Legendre) must be tested for convergence before they describe heat flow, vibrations, or potentials.

Historical Development

c. 1350 — Oresme. Nicole Oresme proves the harmonic series diverges by the grouping argument, centuries ahead of its time.
1668 — Mercator/Gregory. $ln (1 + x)$ series; early systematic use of infinite series for functions.
1689 — Jakob Bernoulli. Tractatus de seriebus infinitis; rediscovers harmonic divergence, studies $\sum 1/ n^{2}$ (the "Basel problem").
1734–35 — Euler. Solves the Basel problem: $\sum 1/ n^{2} = π^{2} /6$ ; brilliant but formal manipulation of divergent and convergent series alike.
c. 1750 — d'Alembert. Introduces the ratio test for binomial/hypergeometric series.
1821 — Cauchy. Cours d'analyse sets convergence on rigorous foundations: partial-sum definition, Cauchy criterion, root test, condensation test.
1826 — Abel. Proves Abel's theorem and the summation-by-parts identity; clarifies behavior at the boundary of the disk of convergence.
1827 — Raabe. Publishes Raabe's test for the $L = 1$ borderline of the ratio test.
1837 — Dirichlet. Dirichlet's test and rearrangement insights; foundational work linking series and Fourier analysis.
1854 — Riemann. Proves the rearrangement theorem: a conditionally convergent series can be reordered to any sum.

Subtleties & Limits

The classical tests are not exhaustive: between the Ratio Test ( $L = 1$ ) and Raabe's Test ( $R = 1$ ) lies an infinite hierarchy of ever-finer criteria (the logarithmic / Kummer / Bertrand–Gauss tests), and Kummer's theorem shows no single test can decide every case — for any test there is a series it cannot resolve. A practical frontier is divergent-series summation: assigning consistent values to series like the QFT perturbation expansions, where convergence fails but the series is "asymptotic" to a true answer; whether such expansions are Borel-summable and resurgence-theoretic methods recover the exact result are active research questions. In number theory, the convergence boundary $ℜ (s) = 1$ of $\sum n^{- s}$ analytically continues to a function whose nontrivial zeros are the subject of the Riemann Hypothesis — an open problem at the very edge of "convergence."

Infinite Series — Convergence Tests

The Core Insight

Formal Statement

Series, Partial Sums, Convergence

Cauchy Criterion for Series

The Standard Benchmarks

Catalogue of Convergence Tests

Why It Holds / Derivation

Integral Test — the Master Comparison

Ratio Test from the Geometric Series

Alternating Series Test

Augustin-Louis Cauchy | 1789–1857

Building Intuition

The convergence landscape of $\sum 1/n^p$: the partial-sum staircase rises without bound for $p\le 1$ and levels off for $p>1$.

Worked Examples

Ratio Test on a Factorial Series

Integral Test and a $p$-Series Near the Boundary

Common Misconceptions

Vanishing Terms, Divergent Series

Ratio Test Blindness

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads