Convergence Tests

Tests

PropertyStatement
RatioL=lim|aₙ₊₁/aₙ|; converges if L<1
RootL=lim|aₙ|^{{1/n}}; converges if L<1
IntegralCompare ∑aₙ to ∫f
AlternatingConverges if aₙ↘0

Examples

Example 1. Test \(\sum n!/n^n\).

Solution. Ratio test: L=1/e<1, converges.

In Depth

Determining whether an infinite series converges is a central problem in analysis. No single test works for all series; choosing the right test requires recognizing the structure of the terms.

The divergence test (necessary condition): if \(\sum a_n\) converges, then \(a_n\to0\). Contrapositive: if \(a_n\not\to0\), the series diverges. This test can only prove divergence, never convergence.

The integral test: if \(f\) is positive, continuous, and decreasing on \([1,\infty)\) with \(f(n)=a_n\), then \(\sum a_n\) and \(\int_1^\infty f\,dx\) either both converge or both diverge. This gives the p-series result: \(\sum 1/n^p\) converges iff \(p>1\).

The ratio test \(L=\lim|a_{n+1}/a_n|\): converges absolutely if \(L<1\), diverges if \(L>1\), inconclusive if \(L=1\). Best for series with factorials or exponentials. The root test \(L=\lim|a_n|^{1/n}\): same conclusion rules. Best for series with \(n\)th powers.

The alternating series test (Leibniz): \(\sum(-1)^n b_n\) converges if \(b_n\) is decreasing and \(b_n\to0\). The error in truncating at \(N\) terms is bounded by \(b_{N+1}\). This gives a simple error estimate for alternating series approximations.

Key Properties & Applications

The comparison test: if \(0\leq a_n\leq b_n\) and \(\sum b_n\) converges, so does \(\sum a_n\). The limit comparison test: if \(a_n/b_n\to L>0\), then \(\sum a_n\) and \(\sum b_n\) converge or diverge together. These reduce unknown series to known benchmarks like \(\sum 1/n^p\).

The ratio test: if \(|a_{n+1}/a_n|\to L\), the series converges absolutely if \(L<1\), diverges if \(L>1\), and is inconclusive if \(L=1\). The root test uses \(|a_n|^{1/n}\to L\) with the same criteria. Both tests work well for series involving factorials or exponentials.

The alternating series test (Leibniz): \(\sum(-1)^n b_n\) converges if \(b_n\) decreases to 0. The error in truncating at \(N\) terms is at most \(b_{N+1}\). Absolute convergence (\(\sum|a_n|<\infty\)) implies convergence; the converse fails (conditional convergence, e.g., \(\sum(-1)^n/n\)).

Further Reading & Context

The study of convergence tests connects to many areas of mathematics and its applications. Understanding the foundational definitions and theorems provides the basis for advanced work in analysis, algebra, and applied mathematics.

Historical development: most mathematical concepts evolved over centuries, with contributions from mathematicians across many cultures. The modern axiomatic treatment provides rigor, while computational tools enable practical application.

In modern mathematics, this topic appears in graduate courses and research across pure and applied mathematics. Connections to computer science, physics, and engineering make it a versatile and important area of study. Mastery of the core results and techniques opens doors to research in number theory, analysis, geometry, and beyond.

Recommended next steps: work through the standard theorems with full proofs, explore the connections to related topics listed above, and practice with a variety of problems ranging from computational exercises to theoretical proofs. The interplay between different areas of mathematics is one of the subject's greatest rewards.

Deep Dive: Convergence Tests

This lesson extends core ideas for convergence tests with rigorous reasoning, edge-case checks, and application framing in calculus.

Practice Set

Practice. Derive one main result on this page and validate with a numeric or geometric check.

Goal. Confirm assumptions, transformation steps, and final interpretation.

References & Editorial Notes

  • Stewart, Calculus.
  • Strang, Introduction to Linear Algebra.
  • Apostol, Mathematical Analysis.

Last editorial review: 2026-04-14.