lesson

Unit 5 - Sequences and Series Foundations · AP

Divergence and the Integral Test

Use the necessary term condition and the area under a related positive function to make defensible convergence decisions.

Start with the fastest necessary condition

Every convergent series has terms that approach zero. Therefore, if

lim⁡n→∞an≠0\lim_{n\to\infty}a_n\ne0

or if the limit does not exist, then ∑an\sum a_n diverges. This divergence test is efficient because it inspects the terms before attempting a more elaborate comparison. For the series ∑(3n+1)/(n+2)\sum(3n+1)/(n+2), the terms approach 33, not zero, so the series diverges immediately. No partial-sum formula is needed.

The test has only one direction. When an→0a_n\to0, the series might converge or diverge. The harmonic series ∑1/n\sum1/n is the standard warning: its terms vanish, but its partial sums increase without bound. A zero term limit means that later additions are small; it does not say that their total remaining effect is finite. Always state the logical result accurately: nonzero term limit proves divergence, while zero term limit is inconclusive.

L3-V01 — The term test’s one-way logic. Create a compact flow diagram inside the established grey-blue, black-bordered visual style. Show “term limit not zero” leading to “series diverges,” and “term limit zero” leading to “choose another test,” not “series converges.” Alt text: “The divergence test proves divergence from a nonzero term limit but cannot prove convergence from a zero term limit.”The divergence test proves divergence from a nonzero term limit but cannot prove convergence from a zero term limit.
L3-V01 — The term test’s one-way logic. Create a compact flow diagram inside the established grey-blue, black-bordered visual style. Show “term limit not zero” leading to “series diverges,” and “term limit zero” leading to “choose another test,” not “series converges.” Alt text: “The divergence test proves divergence from a nonzero term limit but cannot prove convergence from a zero term limit.”

The integral test applies when an=f(n)a_n=f(n) for a function ff that is positive, continuous, and decreasing for sufficiently large xx. Under those conditions,

∑n=N∞anand∫N∞f(x) dx\sum_{n=N}^{\infty}a_n \quad\text{and}\quad \int_N^{\infty}f(x)\,dx

either both converge or both diverge. The test does not say that the sum equals the integral. It says that the rectangular series contributions and the curved area have matching long-run finiteness behavior because decreasing rectangles trap the area above and below in controlled ways.

The hypotheses matter. Positivity makes the geometric area comparison meaningful, decreasing behavior puts the rectangle heights in the needed order, and continuity lets the improper integral represent the curve cleanly. A function can fail one of these conditions near the beginning without ruining the conclusion if the conditions hold after some index. Adding or removing finitely many terms changes a partial sum by a finite amount, so it cannot turn convergence into divergence or vice versa.

This “eventually” principle is more useful than it first appears. A series may have a few unusual first terms, a denominator that is zero at a small index, or a function that becomes decreasing only after a threshold. Record the threshold and start the comparison after it; then handle the finite beginning separately if it needs to be defined at all. What matters for convergence is the behavior of the endless tail. Treating a finite prefix as though it controls an infinite process is a common category error.

L3-V02 — Rectangles and a decreasing curve. Draw a positive decreasing curve with unit-width rectangles whose heights are sampled at left and right endpoints. Shade the comparison areas and label the series terms f(n)f(n)f(n)For a positive decreasing function, unit rectangles compare the series terms with the area under the curve.
L3-V02 — Rectangles and a decreasing curve. Draw a positive decreasing curve with unit-width rectangles whose heights are sampled at left and right endpoints. Shade the comparison areas and label the series terms f(n)f(n)f(n)

The p-series is a reference family

Apply the integral test to f(x)=1/xpf(x)=1/x^p for x≥1x\ge1. For p≠1p\ne1,

∫1B1xp dx=[x1−p1−p]1B.\int_1^B\frac{1}{x^p}\,dx =\left[\frac{x^{1-p}}{1-p}\right]_1^B.

As B→∞B\to\infty, this improper integral converges when p>1p>1 and diverges when p≤1p\le1. Thus

∑n=1∞1np{converges,p>1,diverges,p≤1.\sum_{n=1}^{\infty}\frac{1}{n^p} \begin{cases} \text{converges},&p>1,\\ \text{diverges},&p\le1. \end{cases}

The boundary p=1p=1 is worth remembering because it is the harmonic series. A larger exponent makes terms shrink fast enough to have a finite total; an exponent at or below one does not. The statement does not depend on a vague impression that “powers in the denominator are good.” It depends on precisely how the power affects the infinite-area limit.

For example, ∑1/n3/2\sum1/n^{3/2} converges because 3/2>13/2>1, while ∑1/n\sum1/\sqrt{n} diverges because 1/2≤11/2\le1. Neither conclusion requires calculating a sum. The p-series test classifies the behavior, which is often the goal. When later tests compare a new series to one of these reference forms, the p-series threshold supplies the known benchmark.

Be careful with notation such as 1/n31/\sqrt[3]{n}. Rewrite it as n−1/3n^{-1/3} or 1/n1/31/n^{1/3} before identifying pp. The exponent belongs to the whole denominator factor, not merely to the symbol nn in an informal visual sense. Rewriting makes the comparison to 1/np1/n^p explicit and avoids accidentally treating a root as a power greater than one. Clear algebra at this stage keeps the convergence argument from becoming a pattern-matching guess.

Integral remainders estimate what is left

For a positive decreasing series that converges, the integral test also bounds the tail after NN terms:

∫N+1∞f(x) dx≤RN≤∫N∞f(x) dx,\int_{N+1}^{\infty}f(x)\,dx \le R_N\le \int_N^{\infty}f(x)\,dx,

where RN=∑n=N+1∞anR_N=\sum_{n=N+1}^{\infty}a_n is the remainder. These inequalities give a way to decide how many terms are needed for a desired accuracy. They also clarify why a partial sum is an approximation: the omitted tail is positive and can be bounded by a familiar area.

Suppose an=1/n2a_n=1/n^2. Since ∫N∞x−2dx=1/N\int_N^\infty x^{-2}dx=1/N, the error after NN terms is at most 1/N1/N. To guarantee an error below 0.010.01, it is enough to use N>100N>100 terms. The estimate is conservative; it guarantees accuracy without claiming it is the smallest possible number of terms. State whether an error bound is an exact error or a guaranteed upper bound—those are different claims.

L3-V03 — A bounded remainder. Draw the decreasing curve 1/x21/x^21/x2, highlight the tail rectangles beyond an index NNN, and show the two bounding integral regionsThe omitted positive tail of a decreasing series is bounded by nearby improper-integral areas.
L3-V03 — A bounded remainder. Draw the decreasing curve 1/x21/x^21/x2, highlight the tail rectangles beyond an index NNN, and show the two bounding integral regions

Retrieval check

Classify each series with a reason: ∑n=1∞(n+1)/(2n)\sum_{n=1}^{\infty}(n+1)/(2n), ∑n=1∞1/n5/4\sum_{n=1}^{\infty}1/n^{5/4}, and ∑n=1∞1/n3\sum_{n=1}^{\infty}1/\sqrt[3]{n}. For the second, write the integral-test comparison function and determine a simple number of terms sufficient to make the remainder less than 0.020.02. Explain why that term count is a guarantee rather than an exact necessity. The next lesson compares positive-term series directly to known reference series when an integral is not the most natural tool.

Knowledge Map

Where this lesson fits

Prerequisites

Unit 5 - Sequences and Series FoundationsSeries, Partial Sums, and Geometric Series

Next lessons

Unit 5 - Sequences and Series FoundationsComparison TestsUnit 5 - Sequences and Series FoundationsAlternating and Absolute Convergence