Integral Test - Calculus 2

SECTION 1

Historical Context & Motivation

The question of whether an infinite sum of terms accumulates to a finite value or grows without bound has occupied mathematicians for centuries. Early investigations into infinite series by figures such as Nicole Oresme in the fourteenth century established that the harmonic series diverges — a result that challenged the naive intuition that terms shrinking toward zero should yield a convergent sum. As the calculus matured through the seventeenth and eighteenth centuries, mathematicians recognized a deep structural parallel between the discrete operation of summing a series and the continuous operation of integration. This insight ultimately crystallized into what we now call the Integral Test, a convergence criterion that bridges discrete and continuous analysis.

c. 1350 • Oresme's Divergence Proof

Nicole Oresme demonstrated that the harmonic series ∑1/n diverges by grouping terms into blocks whose sums each exceed 1/2, providing one of the earliest rigorous divergence arguments.

1689 • Jakob Bernoulli and the Basel Problem

Jakob Bernoulli posed the question of computing ∑1/n², establishing interest in determining both convergence and the exact values of series — a problem later solved by Euler.

1740s • Euler's Integral Comparisons

Leonhard Euler systematically compared series with integrals, developing the Euler–Maclaurin summation formula and laying the groundwork for what would become the Integral Test.

1823 • Cauchy Formalizes the Test

Augustin-Louis Cauchy, in his Cours d'Analyse, gave a rigorous formulation of the Integral Test using his newly developed theory of limits and definite integrals, placing series convergence on firm logical ground.

The central question the Integral Test addresses is deceptively simple: given an infinite series ∑aₙ whose terms are positive and decreasing, can we determine convergence or divergence by studying the behavior of a related improper integral? Cauchy's affirmative answer transformed series analysis by converting a fundamentally discrete problem into a continuous one — often far more tractable with standard calculus techniques.

SECTION 2

Core Principles & Definitions

The Integral Test rests on the geometric observation that the partial sums of a series can be bounded above and below by improper integrals of a related continuous function. To apply the test, one needs a function f that is continuous, positive, and decreasing on [N, ∞) for some integer N ≥ 1, with f(n) = aₙ for all integers n ≥ N. Under these hypotheses, the series and the integral either both converge or both diverge. The following foundational ideas underpin the test.

Monotone Decreasing Requirement

The function f must be eventually decreasing: f′(x) ≤ 0 for all x ≥ N. This ensures the rectangles used in the comparison argument nest properly between left and right Riemann sums.

Positivity Condition

All terms aₙ (and hence f(x)) must be positive for x ≥ N. Without positivity, the area interpretation underlying the comparison breaks down, and cancellation effects may mask divergence.

Continuity of f

The function f must be continuous on [N, ∞) so that the improper integral ∫ from N to ∞ of f(x) dx is well-defined. Isolated discontinuities can sometimes be handled, but standard formulations assume continuity.

Tail Equivalence

Convergence of a series depends only on its tail behavior. Adding or removing finitely many terms does not affect convergence, so the hypotheses need hold only for n ≥ N, not for all n ≥ 1.

✦

KEY TAKEAWAY

Think of the Integral Test like estimating the total volume of water dripping from a leaky faucet. Each drip is a discrete event (a series term), but if you model the drip rate as a smooth, decreasing flow function, you can integrate the flow over time to decide whether total accumulated water is finite or infinite. The integral and the series answer the same convergence question — one in the language of continuous flow, the other in discrete drops.

SECTION 3

Visual Explanation

The geometric intuition behind the Integral Test is captured by comparing the area under the curve y = f(x) with the total area of rectangles of unit width whose heights equal the series terms aₙ = f(n). Because f is decreasing, right-endpoint rectangles sit below the curve while left-endpoint rectangles extend above it, sandwiching the integral between two partial sums.

The solid violet rectangles represent left-endpoint (upper) sums, bounding the integral from above. The dashed cyan rectangles represent right-endpoint (lower) sums, bounding the integral from below. The pink curve shows f(x) = 1/x threading between the two sets of rectangles.

Observe in the diagram that the left-endpoint rectangles overestimate the area under f(x), giving the inequality ∑ from n = 1 to N of f(n) ≥ ∫ from 1 to N+1 of f(x) dx. Meanwhile, the right-endpoint rectangles underestimate the area, yielding ∫ from 1 to N of f(x) dx ≥ ∑ from n = 2 to N of f(n). As N → ∞, these bounds force the series and integral to share the same convergence behavior. If the integral converges to a finite value, the partial sums are bounded above and therefore converge by the monotone convergence theorem; if the integral diverges, the partial sums grow without bound.

SECTION 4

Mathematical Framework

We now state the Integral Test precisely and examine the key inequalities that drive the proof. Let f be a continuous, positive, decreasing function on [1, ∞) with f(n) = aₙ. Then the series ∑ from n = 1 to ∞ of aₙ and the improper integral ∫ from 1 to ∞ of f(x) dx either both converge or both diverge.

INTEGRAL TEST STATEMENT

∑(n=1 to ∞) aₙ and ∫₁^∞ f(x) dx converge or diverge together

where f is continuous, positive, and decreasing on [1, ∞) with f(n) = aₙ for each positive integer n.

BOUNDING INEQUALITIES

∫₁^(N+1) f(x) dx ≤ ∑(n=1 to N) f(n) ≤ f(1) + ∫₁^N f(x) dx

The left inequality comes from right-endpoint rectangles (lower bound); the right inequality uses left-endpoint rectangles (upper bound). Taking N → ∞ establishes the convergence equivalence.

REMAINDER ESTIMATE

∫(N+1)^∞ f(x) dx ≤ Rₙ ≤ ∫_N^∞ f(x) dx

Here Rₙ = ∑(k=N+1 to ∞) aₖ is the remainder (or tail) of the series after N terms. These bounds allow you to estimate how close a partial sum is to the actual series value.

⚠

Important Caveat

The Integral Test tells you whether a series converges but does not tell you the sum. The value of the improper integral generally differs from the value of the series. For instance, ∫₁^∞ 1/x² dx = 1, but ∑(n=1 to ∞) 1/n² = π²/6 ≈ 1.6449.

SECTION 5

The p-Series & Classification

The single most important application of the Integral Test is the classification of p-series, series of the form ∑(n=1 to ∞) 1/nᵖ for a real parameter p > 0. By applying the Integral Test with f(x) = 1/xᵖ, one obtains the definitive convergence criterion: the p-series converges if and only if p > 1. The boundary case p = 1 gives the harmonic series, which diverges logarithmically. Understanding p-series is essential because they serve as comparison benchmarks for hundreds of other series you will encounter.

p-SERIES INTEGRAL

∫₁^∞ x⁻ᵖ dx = { 1/(p−1) if p > 1; ∞ if p ≤ 1 }

For p ≠ 1 the antiderivative is $x^{1−p}$ /(1−p). Evaluating the limit as x → ∞ converges when 1 − p < 0, i.e., p > 1. For p = 1, the antiderivative is ln x, which diverges.

The curves show f(x) = 1/xᵖ for p = 0.5 (red, diverges), p = 1 (orange, diverges), p = 2 (cyan, converges), and p = 3 (green, converges). Notice how convergent cases decay much more rapidly, making the total area under the curve finite.

p value	∫₁^∞ x⁻ᵖ dx	∑ 1/nᵖ	Verdict
p = 1/2	∞	∞	Diverges
p = 1	∞	∞	Diverges
p = 3/2	2	≈ 2.612	Converges
p = 2	1	π²/6 ≈ 1.645	Converges
p = 3	1/2	≈ 1.202	Converges

p-Series classification: the integral and series values generally differ, but they always agree on convergence.

SECTION 6

Worked Example

Let us apply the Integral Test to determine whether the series ∑(n=1 to ∞) 1/(n² + 1) converges or diverges. We will verify the hypotheses, evaluate the corresponding improper integral, and draw the conclusion.

Determine Convergence of ∑ 1/(n² + 1)

1
Step 1 — Define f and Verify Hypotheses

Set f(x) = 1/(x² + 1). This function is continuous on [1, ∞) since x² + 1 > 0 for all x. It is positive on [1, ∞). To verify it is decreasing, compute f′(x) = −2x/(x² + 1)². Since x > 0, we have f′(x) < 0 for all x ≥ 1, confirming f is strictly decreasing. All three hypotheses are satisfied.

Hypotheses verified: f is continuous, positive, and decreasing on [1, ∞).
2
Step 2 — Set Up the Improper Integral

We need to evaluate ∫₁^∞ 1/(x² + 1) dx = lim(t→∞) ∫₁^t 1/(x² + 1) dx. Recognizing that 1/(x² + 1) is the derivative of arctan(x), the antiderivative is immediate.

∫₁^t 1/(x² + 1) dx = arctan(t) − arctan(1)
3
Step 3 — Evaluate the Limit

As t → ∞, arctan(t) → π/2. Also, arctan(1) = π/4. Therefore: lim(t→∞) [arctan(t) − arctan(1)] = π/2 − π/4 = π/4.

∫₁^∞ 1/(x² + 1) dx = π/4 ≈ 0.7854
4
Step 4 — Apply the Integral Test

Since ∫₁^∞ 1/(x² + 1) dx converges (to π/4), the Integral Test guarantees that ∑(n=1 to ∞) 1/(n² + 1) also converges. Note that the series sum is not equal to π/4; the integral merely confirms convergence.

Conclusion: ∑(n=1 to ∞) 1/(n² + 1) CONVERGES.

SECTION 7

Strengths, Limitations & Comparisons

The Integral Test is one of several convergence tests in your toolkit. Understanding when to reach for it — and when a different test is more efficient — is a crucial skill in series analysis. The following table compares the Integral Test with other commonly used convergence tests.

Feature	Integral Test	Comparison Test	Ratio/Root Test
Best suited for	Series with a natural continuous analog (e.g., p-series, 1/(n ln n))	Series you can bound by a known convergent/divergent series	Series involving factorials, exponentials, or nth powers
Gives remainder estimate?	Yes	Only indirectly	Not typically
Requires antiderivative?	Yes (or limit evaluation)	No	No
Handles alternating series?	No (requires positive terms)	No (requires positive terms)	Partially (tests absolute convergence)
Inconclusive cases	None (always gives a verdict if hypotheses are met)	When no suitable comparison series is found	When the limit equals 1

Comparison of common convergence tests for positive-term series.

✦

WHEN TO USE THE INTEGRAL TEST

Reach for the Integral Test when the series terms come from a function you can readily integrate — particularly rational functions, logarithmic expressions like 1/(n(ln n)²), or any decreasing function whose antiderivative is accessible via substitution or standard formulas. If you cannot find an antiderivative easily, the Comparison or Limit Comparison Test is likely a more practical choice.

SECTION 8

Connections to Advanced Theory

The Integral Test is not merely a computational tool — it connects to deep ideas in analysis. The Euler–Maclaurin summation formula generalizes the comparison between sums and integrals by providing an asymptotic expansion relating ∑f(n) to ∫f(x) dx plus correction terms involving Bernoulli numbers. In a different direction, the remainder estimate from the Integral Test foreshadows the integral test for convergence of improper integrals and ties into the broader program of asymptotic analysis. In real analysis, the monotone convergence theorem that underlies the Integral Test proof reappears in Lebesgue integration, where the connection between summation (as integration with respect to counting measure) and Riemann/Lebesgue integration becomes fully rigorous.

Concept	Integral Test Level	Advanced Extension
Sum–Integral comparison	Bounding partial sums by improper integrals	Euler–Maclaurin formula with Bernoulli number corrections
Remainder bounds	∫(N+1)^∞ f dx ≤ Rₙ ≤ ∫_N^∞ f dx	Richardson extrapolation and series acceleration techniques
p-series	Converges for p > 1, diverges for p ≤ 1	Riemann zeta function ζ(s) = ∑ n⁻ˢ, analytic continuation, connection to prime distribution
Monotone convergence	Bounded, increasing partial sums converge	Lebesgue monotone convergence theorem in measure theory

How the Integral Test ideas extend into advanced mathematics.

If you continue into real analysis or complex analysis, you will encounter the Riemann zeta function ζ(s) = ∑(n=1 to ∞) n⁻ˢ, which is essentially the p-series extended to complex values of s. The Integral Test provides the foundation for understanding why ζ(s) converges for Re(s) > 1 — a fact central to analytic number theory and, famously, the Riemann Hypothesis.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

A student attempts to apply the Integral Test to the series ∑(n=1 to ∞) (−1)ⁿ/n². Explain why the Integral Test cannot be applied directly to this series, and describe what alternative approach would be appropriate.

Show answer

The Integral Test requires the terms of the series (and the corresponding function f) to be positive on [N, ∞). The series ∑(−1)ⁿ/n² has terms that alternate in sign, violating the positivity hypothesis. The Integral Test therefore cannot be applied directly. Instead, one could use the Alternating Series Test (Leibniz's test) to show conditional convergence, or one could apply the Integral Test to the absolute-value series ∑1/n² (a convergent p-series with p = 2) to establish absolute convergence, which implies convergence of the alternating version as well.

Question 2: BASIC CALCULATION

Use the Integral Test to determine whether ∑(n=1 to ∞) 1/n³ converges or diverges.

Show answer

Let f(x) = 1/x³ = x⁻³. This function is continuous, positive, and decreasing on [1, ∞). Evaluate the improper integral: ∫₁^∞ x⁻³ dx = lim(t→∞) [x⁻²/(−2)] from 1 to t = lim(t→∞) [−1/(2t²) + 1/2] = 0 + 1/2 = 1/2. Since the integral converges to 1/2, the Integral Test guarantees that ∑1/n³ converges. This is consistent with the p-series result: p = 3 > 1, so the series converges.

Question 3: INTERMEDIATE

Determine whether the series ∑(n=2 to ∞) 1/(n · ln(n)) converges or diverges using the Integral Test.

Show answer

Let f(x) = 1/(x · ln(x)) for x ≥ 2. This function is continuous (ln x > 0 for x > 1), positive, and decreasing on [2, ∞) (verify: f′(x) = −(1 + ln x)/(x · ln x)² < 0). Evaluate the integral via substitution u = ln x, du = dx/x: ∫₂^t 1/(x ln x) dx = ∫

(ln 2)^{ln t}

1/u du = ln(ln t) − ln(ln 2). As t → ∞, ln(ln t) → ∞, so the integral diverges. By the Integral Test, ∑1/(n ln n) also diverges. This is a classic example of a series whose terms decrease more slowly than any convergent p-series.

Question 4: APPLIED

Use the remainder estimate from the Integral Test to determine how many terms of ∑(n=1 to ∞) 1/n⁴ are needed so that the partial sum approximation is within 0.001 of the true series value.

Show answer

The Integral Test remainder estimate gives Rₙ ≤ ∫_N^∞ x⁻⁴ dx = lim(t→∞) [−1/(3x³)] from N to t = 1/(3N³). We need 1/(3N³) ≤ 0.001, which gives N³ ≥ 1000/3 ≈ 333.33, hence N ≥ ∛333.33 ≈ 6.93. Since N must be a positive integer, we need N ≥ 7. Therefore, the partial sum S₇ = ∑(n=1 to 7) 1/n⁴ approximates ∑1/n⁴ = π⁴/90 to within 0.001. This illustrates how the Integral Test provides quantitative error control, not just a qualitative convergence verdict.

Question 5: CRITICAL THINKING

Consider the series ∑(n=2 to ∞) 1/(n · (ln n)ᵖ). For which values of p does this series converge? Prove your answer using the Integral Test and compare the result with the p-series threshold.

Show answer

Let f(x) = 1/(x · (ln x)ᵖ) for x ≥ 2. The hypotheses of the Integral Test are satisfied for all p (f is continuous, positive, and decreasing for x ≥ 2 when p > 0; for p ≤ 0, f is not decreasing, and the series clearly diverges since terms don't approach zero fast enough). Substitute u = ln x, du = dx/x: ∫₂^∞ dx/(x(ln x)ᵖ) = ∫(ln 2)^∞ u⁻ᵖ du. This is a p-series in the variable u, which converges if and only if p > 1. When p = 1, the integral becomes ln u evaluated from ln 2 to ∞, which diverges (as we saw in Problem 3). For p > 1, the integral equals

(ln 2)^{1−p}

/(p − 1), which is finite. Therefore ∑1/(n(ln n)ᵖ) converges if and only if p > 1. This mirrors the p-series threshold but at a 'logarithmic scale' — the series lives on the boundary of convergence for ordinary p-series (it decays like 1/n times a logarithmic correction), and the exponent on the logarithm plays the same role as p does for ∑1/nᵖ.

SUMMARY

Integral Test — Summary

Summary

The Integral Test establishes that if f is continuous, positive, and decreasing on [N, ∞) with f(n) = aₙ, then the series ∑aₙ and the improper integral ∫_N^∞ f(x) dx either both converge or both diverge. The proof relies on bounding partial sums between left-endpoint and right-endpoint Riemann sums, creating a geometric sandwich that links discrete summation to continuous integration.

Its most celebrated application is the p-series classification: ∑1/nᵖ converges if and only if p > 1. Beyond determining convergence, the test provides remainder estimates that bound the error of partial-sum approximations: ∫(N+1)^∞ f dx ≤ Rₙ ≤ ∫_N^∞ f dx. The test is ideal for series whose terms arise from functions with accessible antiderivatives, and it connects forward to the Euler–Maclaurin formula and the Riemann zeta function in advanced analysis.