Unit 10 · Topic 10.4

The Integral Test

For a series of positive terms a_n = f(n) with f positive, continuous and decreasing, compute lim as b → ∞, ∫ from k to b of f(x) dx .

Practice 3: JustificationPractice 4: Communication and Notation

Part 1 · Hook

Why this matters

Stack boxes of width 1 and heights 14,19,116,…\frac{1}{4}, \frac{1}{9}, \frac{1}{16}, \ldots along the xx-axis, and they fit neatly under the curve y=1x2y = \frac{1}{x^2}. If the area under the curve is finite, the boxes, which are the terms of a series, cannot add up to infinity. That picture is the integral test: it trades a series you cannot add for an improper integral you can evaluate.

Part 2 · Before you start

What this builds on

Part 3 · Prerequisite check

Quick check before you start

1. ∫1∞1x2dx\int_1^{\infty} \frac{1}{x^2}\,dx equals

  1. 11
  2. ∞\infty
  3. 12\frac{1}{2}
  4. 00
Show the answer

limb→∞(1−1b)\lim_{b \to \infty} \left(1 - \frac{1}{b}\right)=1= 1.

  • Correct: 11:
  • ∞\infty:
  • 12\frac{1}{2}:
  • 00:

2. ff is decreasing on an interval when

  1. f′(x)<0f'(x) < 0 there
  2. f(x)<0f(x) < 0 there
  3. f″(x)<0f''(x) < 0 there
  4. f′(x)=0f'(x) = 0 there
Show the answer

A negative derivative means the function falls as xx grows.

  • Correct: f′(x)<0f'(x) < 0 there:
  • f(x)<0f(x) < 0 there:
  • f″(x)<0f''(x) < 0 there:
  • f′(x)=0f'(x) = 0 there:

Part 4 · See it

See it first

Left: the curve f(x) = 1/x² with boxes of width 1 drawn under it; box n spans x = n − 1 to n and has height 1/n², for n = 2 to 7. The boxes fit under the curve from x = 1 on, so 1/2² + 1/3² + ... is less than the integral from 1 to infinity of 1/x², which is 1: the series converges. Right: the curve f(x) = 1/x with boxes of height 1/n from x = n to n + 1, for n = 1 to 6, sticking out above the curve, so 1 + 1/2 + ... + 1/N is more than the integral from 1 to N + 1 of 1/x, which is ln(N + 1) and grows without bound: the series diverges.
Boxes of height 1n2\frac{1}{n^2} fit under y=1x2y = \frac{1}{x^2}, whose area is finite; boxes of height 1n\frac{1}{n} stick out above y=1xy = \frac{1}{x}, whose area is infinite. LevlPrep original diagram.

Part 5 · Step by step

How it works, step by step

  1. Match the terms with a function: an=f(n)a_n = f(n), with ff positive, continuous and decreasingeach term is the area of a box of width 1 that fits beside the curve
  2. Boxes under the curve, from x=1x = 1 ona2a_2+a3+ a_3+⋯≤∫1∞f(x)dx+ \cdots \le \int_1^{\infty} f(x)\,dx: a finite integral holds the series down
  3. Boxes over the curvea1a_1+⋯+ \cdots+an≥∫1n+1f(x)dx+ a_n \ge \int_1^{n+1} f(x)\,dx: an infinite integral pushes the series up
  4. So the series and the integral behave alikeboth converge or both diverge

Part 6 · Key ideas

Key ideas

  • Integral test: if ff is positive, continuous and decreasing on [k,∞)[k, \infty) and an=f(n)a_n = f(n), then ∑n=k∞an\sum_{n=k}^{\infty} a_n and ∫k∞f(x)dx\int_k^{\infty} f(x)\,dx both converge or both diverge.
  • State the three conditions every time. \"Decreasing\" usually needs f′(x)<0f'(x) < 0; it may hold only from some xx on, and then the test starts there.
  • The integral's value is not the series' sum. The test decides convergence only.
  • Write the improper integral as a limit, limb→∞∫kbf(x)dx\lim_{b \to \infty} \int_k^{b} f(x)\,dx, to the end.

Part 7 · Misconception

A common mistake

The wrong idea: ∫1∞dxx2\int_1^{\infty} \frac{dx}{x^2}=1= 1, so ∑n=1∞1n2\sum_{n=1}^{\infty} \frac{1}{n^2}=1= 1.

What actually happens: The integral test shows the series converges, nothing more. Its first term is already 1, and the sum is about 1.645.

Part 8 · Check yourself

Check yourself

Exam-style questions. Anything you miss goes into your review queue.

Table

Four series and their improper integrals

Each series, the function ff with f(n)=anf(n) = a_n, and the matching improper integral (each ff is positive, continuous and decreasing on the interval used)
Seriesf(x)f(x)Improper integral
∑n=1∞1n2\sum_{n=1}^{\infty} \frac{1}{n^2}1x2\frac{1}{x^2}∫1∞dxx2\int_1^{\infty} \frac{dx}{x^2}=1= 1
∑n=1∞1n2+1\sum_{n=1}^{\infty} \frac{1}{n^2 + 1}1x2+1\frac{1}{x^2 + 1}∫1∞dxx2+1\int_1^{\infty} \frac{dx}{x^2 + 1}=π4= \frac{\pi}{4}
∑n=2∞1nln⁡n\sum_{n=2}^{\infty} \frac{1}{n\ln n}1xln⁡x\frac{1}{x\ln x}∫2∞dxxln⁡x\int_2^{\infty} \frac{dx}{x\ln x} diverges
∑n=1∞nn2+1\sum_{n=1}^{\infty} \frac{n}{n^2 + 1}xx2+1\frac{x}{x^2 + 1}∫1∞xdxx2+1\int_1^{\infty} \frac{x\,dx}{x^2 + 1} diverges

1. What does the integral test say about ∑n=1∞1n2+1\sum_{n=1}^{\infty} \frac{1}{n^2 + 1}?

  1. It converges, since its integral is finite
  2. It converges to π4\frac{\pi}{4}
  3. It diverges, since π4\frac{\pi}{4} is not 0
  4. Nothing, since the integral is not a whole number
Show the answer

f(x)=1x2+1f(x) = \frac{1}{x^2 + 1} is positive, continuous and decreasing for x≥1x \ge 1, and ∫1∞f(x)dx\int_1^{\infty} f(x)\,dx=π4= \frac{\pi}{4} is finite, so the series converges by the integral test.

  • Correct: It converges, since its integral is finite: Right: a finite improper integral means the series converges.
  • It converges to π4\frac{\pi}{4}: The test gives convergence, not the sum. The sum is not π4\frac{\pi}{4}.
  • It diverges, since π4\frac{\pi}{4} is not 0: That mixes in the nth term test, which is about the limit of the terms, not the integral.
  • Nothing, since the integral is not a whole number: Any finite value of the integral gives convergence.

2. A student concludes from the table that ∑n=1∞1n2\sum_{n=1}^{\infty} \frac{1}{n^2}=1= 1. Is that right?

  1. Yes: the integral test gives the sum
  2. No: the series diverges, though the integral is finite
  3. Yes: both are limits of sums of 1x2\frac{1}{x^2}
  4. No: the integral decides convergence but is not the sum
Show the answer

The integral test says only whether the series converges. Here a1=1a_1 = 1 and the other terms are positive, so the sum is more than 1 (it is π26≈1.645\frac{\pi^2}{6} \approx 1.645).

  • Yes: the integral test gives the sum: The test compares the series with the integral; the two are not equal.
  • No: the series diverges, though the integral is finite: The integral is finite, so the series converges; it just does not equal 1.
  • Yes: both are limits of sums of 1x2\frac{1}{x^2}: The integral adds areas under a curve; the series adds boxes of height 1n2\frac{1}{n^2}, which differ.
  • Correct: No: the integral decides convergence but is not the sum: Right: the sum is more than 1, since its first term alone is 1.

3. What does the integral test say about ∑n=2∞1nln⁡n\sum_{n=2}^{\infty} \frac{1}{n\ln n}?

  1. It converges, since its terms approach 0
  2. Nothing, since the series starts at n=2n = 2
  3. It diverges, since its integral diverges
  4. It converges, since nln⁡nn\ln n grows faster than nn
Show the answer

With u=ln⁡xu = \ln x, ∫dxxln⁡x\int \frac{dx}{x\ln x}=ln⁡|ln⁡x|+C= \ln|\ln x| + C. So ∫2bdxxln⁡x\int_2^{b} \frac{dx}{x\ln x}=ln⁡(ln⁡b)−ln⁡(ln⁡2)→∞= \ln(\ln b) - \ln(\ln 2) \to \infty: the integral diverges, so the series diverges by the integral test.

  • It converges, since its terms approach 0: Terms approaching 0 never prove convergence; the integral decides here.
  • Nothing, since the series starts at n=2n = 2: The test works from any starting index; integrate from that index.
  • Correct: It diverges, since its integral diverges: Right: ∫2bdxxln⁡x\int_2^b \frac{dx}{x\ln x}=ln⁡(ln⁡b)−ln⁡(ln⁡2)= \ln(\ln b) - \ln(\ln 2) grows without bound.
  • It converges, since nln⁡nn\ln n grows faster than nn: Growing faster than nn is not enough; the integral grows like ln⁡(ln⁡b)\ln(\ln b), without bound.

Table

The function f(x)=xe−xf(x) = xe^{-x}

Facts about f(x)=xe−xf(x) = xe^{-x} for the series ∑n=1∞ne−n\sum_{n=1}^{\infty} ne^{-n}
QuantityFormula
f(x)f(x)xe−xxe^{-x}
f′(x)f'(x)(1−x)e−x(1 - x)e^{-x}
Series∑n=1∞ne−n\sum_{n=1}^{\infty} ne^{-n}

4. On which interval is ff decreasing?

  1. x≥0x \ge 0
  2. x≤1x \le 1
  3. x≥ex \ge e
  4. x≥1x \ge 1
Show the answer

e−x>0e^{-x} > 0, so the sign of f′(x)f'(x) is the sign of 1−x1 - x, which is negative for x>1x > 1. ff is decreasing on [1,∞)[1, \infty), which is where the series starts.

  • x≥0x \ge 0: For 0<x<10 < x < 1, 1−x>01 - x > 0, so f′>0f' > 0 and ff is increasing there.
  • x≤1x \le 1: That is where f′≥0f' \ge 0, so ff is increasing there.
  • x≥ex \ge e: f′f' changes sign at x=1x = 1, where 1−x=01 - x = 0; e−xe^{-x} is never 0.
  • Correct: x≥1x \ge 1: Right: f′(x)f'(x)=(1−x)e−x≤0= (1 - x)e^{-x} \le 0 when x≥1x \ge 1.

5. Find ∫1∞xe−xdx\int_1^{\infty} xe^{-x}\,dx.

No calculator. Type the exact value (a fraction, π, e or a root is fine).

Show the answer

limb→∞[−xe−x−e−x]1b\lim_{b \to \infty} \Big[-xe^{-x} - e^{-x}\Big]_1^{b}=limb→∞(−b+1eb)= \lim_{b \to \infty} \left(-\frac{b + 1}{e^{b}}\right)+2e+ \frac{2}{e}=0= 0+2e+ \frac{2}{e}=2e= \frac{2}{e} (L'Hospital's rule gives b+1eb→0\frac{b + 1}{e^b} \to 0).

  • Answer: 2e\frac{2}{e} ≈ 0.736

6. Which conditions must ff meet on [k,∞)[k, \infty) for the integral test to apply to ∑n=k∞an\sum_{n=k}^{\infty} a_n with an=f(n)a_n = f(n)?

  1. Positive, continuous and increasing
  2. Positive, continuous and decreasing
  3. Continuous, with limx→∞f(x)=0\lim_{x \to \infty} f(x) = 0
  4. Differentiable and bounded
Show the answer

The integral test needs ff positive, continuous and decreasing on [k,∞)[k, \infty); then ∑an\sum a_n and ∫k∞f(x)dx\int_k^{\infty} f(x)\,dx both converge or both diverge.

  • Positive, continuous and increasing: An increasing positive ff gives terms that do not approach 0; the test needs decreasing.
  • Correct: Positive, continuous and decreasing: Right: all three, on the interval where the series runs.
  • Continuous, with limx→∞f(x)=0\lim_{x \to \infty} f(x) = 0: A limit of 0 is not one of the conditions, and it is not enough.
  • Differentiable and bounded: These are not the test's conditions; positive, continuous and decreasing are.

Part 9 · Summary

Summary

For a series of positive terms an=f(n)a_n = f(n) with ff positive, continuous and decreasing, compute limb→∞∫kbf(x)dx\lim_{b \to \infty} \int_k^{b} f(x)\,dx. A finite limit means the series converges; an infinite one means it diverges. Check the conditions, keep limit notation, and never report the integral as the sum.

Part 10 · Up next

What comes next

Part 11 · Connections

Connections