Skip to content

Comparison Test for Series

Proposition

Suppose we have two series ∑n=1∞an\displaystyle\sum_{n=1}^\infty a_n and ∑n=1∞bn\displaystyle\sum_{n=1}^\infty b_n with an,bn≥0a_n, b_n \geq 0 for all n,n\text{,} and an≤bna_n \leq b_n for all n.n\text{.} Then:

  1. If ∑n=1∞bn\displaystyle\sum_{n=1}^\infty b_n is convergent, then ∑n=1∞an\displaystyle\sum_{n=1}^\infty a_n is also convergent.
  2. If ∑n=1∞an\displaystyle\sum_{n=1}^\infty a_n is divergent, then ∑n=1∞bn\displaystyle\sum_{n=1}^\infty b_n is also divergent.

Interpretation

The comparison test decides the convergence of a series with nonnegative terms by comparing it, term by term, with a series whose behaviour is known: a series below a convergent one converges, and a series above a divergent one diverges.

Two sets of bars, the larger terms b n = 1/n² and the smaller terms a n = 1/(n(n+1)), with each a n at most b n.

The bars show bn=1/n2b_n=1/n^2 and the smaller terms an=1/(n(n+1))a_n=1/(n(n+1)) for n=1,…,9n=1,\ldots,9; for example, a1=12≤b1=1a_1=\tfrac{1}{2}\le b_1=1. Since an≤bna_n\le b_n for every nn, each partial sum of ∑an\displaystyle \sum a_n is at most the corresponding partial sum of ∑bn\displaystyle \sum b_n, and hence at most ∑bn<∞\displaystyle \sum b_n<\infty.

That bound is the whole proof: because an≥0a_n\ge0, the partial sums of ∑an\displaystyle \sum a_n increase, and an increasing sequence that is bounded above converges by the monotone convergence theorem. This is why nonnegativity is needed: an=−1≤bn=0a_n=-1\le b_n=0, yet ∑bn\displaystyle \sum b_n converges and ∑an\displaystyle \sum a_n diverges. The inequality an≤bna_n\le b_n only needs to hold from some index on, because finitely many terms do not affect convergence.

A common slip is to compare in the wrong direction. A series below a divergent one may converge or diverge: 1n2≤1n\tfrac{1}{n^2}\le\tfrac{1}{n} and ∑1/n2\displaystyle \sum 1/n^2 converges, while 12n≤1n\tfrac{1}{2n}\le\tfrac{1}{n} and ∑1/(2n)\displaystyle \sum 1/(2n) diverges. In such cases the test is silent, and a different comparison is needed. The usual benchmarks are the geometric series and the harmonic series. The same idea returns for integrals in the comparison test for improper integrals.


Key Results

  • Comparison requires all terms to be nonnegative.
  • A series can be shown convergent by comparison with a larger convergent series.
  • Divergence can be shown by comparison with a smaller divergent series.

Examples

  • ∑n=1∞1n2\displaystyle \sum_{n=1}^\infty \frac{1}{n^2} converges, so ∑n=1∞1n2+1\displaystyle \sum_{n=1}^\infty \frac{1}{n^2+1} also converges.
  • Since ∑n=1∞1n\displaystyle \sum_{n=1}^\infty \frac{1}{n} diverges, so does ∑n=1∞1n.\displaystyle \sum_{n=1}^\infty \frac{1}{\sqrt{n}}\text{.}

Prerequisites

Sources

Aliases: direct comparison test Symbols: infinity, square root, sum

Last updated: 20 October 2026 03:02