Skip to content

Alternating Series Test

Proposition

(Leibniz test.) An alternating series ∑n=0∞(−1)nan\displaystyle \sum_{n=0}^{\infty}(-1)^n a_n converges if (an)n=0∞(a_n)_{n=0}^\infty is nonincreasing and an→0.a_n\to0\text{.}


Interpretation

The alternating series test, or Leibniz test, gives a simple sufficient condition for an alternating series to converge: the sizes ana_n of the terms decrease to 00. The partial sums then swing back and forth around the sum with shrinking swings, and settle.

Partial sums of an alternating series zigzagging around their limit S in ever smaller steps, with the step from s5 to s6 marked as the term a6.

The partial sums jump across the limit SS in ever smaller steps. Because no step is longer than the one before, SS always lies between sns_n and sn+1s_{n+1}, so the error after stopping at sns_n is at most the next step: ∣S−sn∣≤an+1|S-s_n|\le a_{n+1}. The figure marks the step a6a_6 from s5s_5 to s6s_6.

Both conditions on ana_n are needed. If an↛0a_n\not\to0, the terms do not tend to 00 and the series diverges, as ∑(−1)n\displaystyle \sum(-1)^n shows. If an→0a_n\to0 but not monotonically, the swings can be unbalanced: the sizes 1,1,12,14,13,19,…1,1,\tfrac{1}{2},\tfrac{1}{4},\tfrac{1}{3},\tfrac{1}{9},\ldots give pairs with sum 1k−1k2\tfrac{1}{k}-\tfrac{1}{k^2}, and the series diverges. Monotonicity is only needed from some index on, because finitely many terms do not affect convergence. The test is sufficient, not necessary.

The error bound makes the test practical: the sum of the first 9999 terms of 1−12+13−⋯1-\tfrac{1}{2}+\tfrac{1}{3}-\cdots is within 1100\tfrac{1}{100} of the sum of the series. The test also covers series that converge only thanks to the signs: the alternating harmonic series converges, while the harmonic series of its absolute values diverges, so the comparison test, which needs nonnegative terms, cannot be used for it.


Key Results

  • An alternating series may converge even if the series of absolute values diverges.
  • The test requires both monotonicity and convergence to zero.

Examples

  • ∑n=1∞(−1)n−11n\displaystyle \sum_{n=1}^\infty (-1)^{n-1}\frac{1}{n} converges.
  • ∑n=1∞(−1)n\displaystyle \sum_{n=1}^\infty (-1)^n does not converge.

Prerequisites

Sources

Aliases: Leibniz test, Leibniz criterion, Leibniz's alternating series test Symbols: infinity, sum

Last updated: 20 October 2026 03:02