Unit 10 · Topic 10.6

Comparison Tests

For a series with positive terms, compare it with a known geometric series or p -series.

Practice 3: JustificationPractice 4: Communication and Notation

Part 1 · Hook

Why this matters

You cannot add infinitely many terms, but you can often tell whether their sum settles by setting the series beside one you already know. If every term of a positive series is smaller than the matching term of a convergent geometric series or pp-series, its partial sums are trapped under a ceiling, and the series converges.

Part 2 · Before you start

What this builds on

Part 3 · Prerequisite check

Quick check before you start

1. Does ∑n=1∞1n3\sum_{n=1}^{\infty} \frac{1}{n^3} converge?

  1. Yes: it is a pp-series with p=3>1p = 3 > 1
  2. No: its terms approach 0 too slowly
  3. No: it is the harmonic series
  4. Yes: it is geometric with ratio 13\frac{1}{3}
Show the answer

A pp-series ∑1np\sum \frac{1}{n^p} converges exactly when p>1p > 1.

  • Correct: Yes: it is a pp-series with p=3>1p = 3 > 1:
  • No: its terms approach 0 too slowly:
  • No: it is the harmonic series:
  • Yes: it is geometric with ratio 13\frac{1}{3}:

2. Does ∑n=0∞(45)n\sum_{n=0}^{\infty} \left(\frac{4}{5}\right)^n converge?

  1. Yes: it is geometric with |r|=45<1|r| = \frac{4}{5} < 1
  2. No: its ratio is positive
  3. No: its terms are all positive
  4. Yes: it is a pp-series with p=45p = \frac{4}{5}
Show the answer

A geometric series converges when |r|<1|r| < 1; here its sum is 11−4/5=5\frac{1}{1 - 4/5} = 5.

  • Correct: Yes: it is geometric with |r|=45<1|r| = \frac{4}{5} < 1:
  • No: its ratio is positive:
  • No: its terms are all positive:
  • Yes: it is a pp-series with p=45p = \frac{4}{5}:

3. Find limn→∞5n2−12n2+n\lim_{n \to \infty} \frac{5n^2 - 1}{2n^2 + n}.

  1. 52\frac{5}{2}
  2. 00
  3. 55
  4. The limit is infinite
Show the answer

Divide the top and bottom by n2n^2: 5−1/n22+1/n→52\frac{5 - 1/n^2}{2 + 1/n} \to \frac{5}{2}.

  • Correct: 52\frac{5}{2}:
  • 00:
  • 55:
  • The limit is infinite:

Part 4 · See it

See it first

Partial sums S sub N for N = 1 to 12 of two series, plotted as dots. The upper dots, for the series of 1 over n squared, rise from 1 and level off just under a dashed line at pi squared over 6, about 1.645. The lower dots, for the series of 1 over (n squared + 1), rise from 0.5 and level off near 1.08, always below the upper dots. Smaller positive terms give smaller partial sums, trapped under the same ceiling.
The partial sums of ∑1n2+1\sum \frac{1}{n^2 + 1} stay under those of ∑1n2\sum \frac{1}{n^2}, which level off below π26≈1.645\frac{\pi^2}{6} \approx 1.645. LevlPrep original diagram.

Part 5 · Step by step

How it works, step by step

  1. Every term of ∑an\sum a_n is positiveits partial sums only increase, so they converge exactly when they stay below some ceiling
  2. 0≤an≤bn0 \le a_n \le b_n for every nn and ∑bn\sum b_n convergeseach partial sum of ∑an\sum a_n is below the sum of ∑bn\sum b_n, so ∑an\sum a_n converges (direct comparison)
  3. an≥bn≥0a_n \ge b_n \ge 0 and ∑bn\sum b_n divergesthe partial sums of ∑an\sum a_n grow past every bound, so ∑an\sum a_n diverges
  4. limn→∞anbn\lim_{n \to \infty} \frac{a_n}{b_n}=L= L with 0<L<∞0 < L < \inftyfor large nn, ana_n is about LbnL\,b_n, so the two series converge together or diverge together (limit comparison)

Part 6 · Key ideas

Key ideas

  • Compare positive terms with a series whose behavior is known and named: geometric with its ratio, or a pp-series with its pp.
  • Direct comparison needs the inequality in the useful direction: smaller than convergent, or larger than divergent. Larger than convergent, or smaller than divergent, proves nothing.
  • Choose bnb_n by keeping the highest powers on top and bottom; use limit comparison when the inequality points the wrong way.
  • Write the limit in nn: limn→∞anbn\lim_{n \to \infty} \frac{a_n}{b_n}, and say it is finite and positive.

Part 7 · Misconception

A common mistake

The wrong idea: 1n2+n≤1n\frac{1}{n^2 + n} \le \frac{1}{n} and the harmonic series diverges, so ∑1n2+n\sum \frac{1}{n^2 + n} diverges.

What actually happens: Being smaller than a divergent series proves nothing. Compare with 1n2\frac{1}{n^2} instead: 1n2+n<1n2\frac{1}{n^2 + n} < \frac{1}{n^2} and p=2>1p = 2 > 1, so the series converges.

Part 8 · Check yourself

Check yourself

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

Table

Two series with positive terms

The first terms of an=13n+na_n = \frac{1}{3^n + n} and bn=13nb_n = \frac{1}{3^n}
nnan=13n+na_n = \frac{1}{3^n + n}bn=13nb_n = \frac{1}{3^n}
1114\frac{1}{4}13\frac{1}{3}
22111\frac{1}{11}19\frac{1}{9}
33130\frac{1}{30}127\frac{1}{27}
44185\frac{1}{85}181\frac{1}{81}

1. Which inequality do the table's values suggest, and why does it hold for every n≥1n \ge 1?

  1. an>bna_n > b_n, because 3n+n>3n3^n + n > 3^n
  2. an<bna_n < b_n, because 3n+n>3n3^n + n > 3^n
  3. an<bna_n < b_n, because ana_n decreases faster
  4. an=bna_n = b_n once nn is large
Show the answer

For every n≥1n \ge 1, 3n+n>3n>03^n + n > 3^n > 0, so 0<13n+n<13n0 < \frac{1}{3^n + n} < \frac{1}{3^n}: each ana_n is smaller than the matching bnb_n.

  • an>bna_n > b_n, because 3n+n>3n3^n + n > 3^n: A bigger denominator gives a smaller fraction, so the inequality points the other way.
  • Correct: an<bna_n < b_n, because 3n+n>3n3^n + n > 3^n: Right: a bigger denominator makes a smaller fraction.
  • an<bna_n < b_n, because ana_n decreases faster: How fast the terms shrink is not the reason; compare the denominators term by term.
  • an=bna_n = b_n once nn is large: The two are close for large nn but differ by the +n+\,n in the denominator for every nn.

2. What does the direct comparison test conclude about ∑n=1∞13n+n\sum_{n=1}^{\infty} \frac{1}{3^n + n}?

  1. It diverges, since 0<an<bn0 < a_n < b_n and ∑bn\sum b_n is geometric
  2. Nothing, since ana_n is not geometric
  3. It converges, since ana_n approaches 0
  4. It converges, since 0<an<bn0 < a_n < b_n and ∑bn\sum b_n converges
Show the answer

The terms are positive and an<bna_n < b_n for every nn; ∑bn\sum b_n is geometric with r=13r = \frac{1}{3}, so it converges, and by the direct comparison test so does ∑an\sum a_n.

  • It diverges, since 0<an<bn0 < a_n < b_n and ∑bn\sum b_n is geometric: Being smaller than a convergent series is the case that gives convergence.
  • Nothing, since ana_n is not geometric: The test does not need ana_n to be geometric; only the comparison series needs a known behavior.
  • It converges, since ana_n approaches 0: Terms approaching 0 do not prove convergence (the harmonic series has them); the comparison does.
  • Correct: It converges, since 0<an<bn0 < a_n < b_n and ∑bn\sum b_n converges: Right: smaller positive terms than a convergent series.

Table

A limit comparison, step by step

The ratio anbn\frac{a_n}{b_n} for an=n2+1n4+3na_n = \frac{n^2 + 1}{n^4 + 3n} and bn=1n2b_n = \frac{1}{n^2} (values to four decimal places)
nnanbn\frac{a_n}{b_n}=n2(n2+1)n4+3n= \frac{n^2(n^2 + 1)}{n^4 + 3n}
110.50000.5000
10101.00701.0070
1001001.00011.0001
100010001.00001.0000

3. Why is bn=1n2b_n = \frac{1}{n^2} a good series to compare with an=n2+1n4+3na_n = \frac{n^2 + 1}{n^4 + 3n}?

  1. Keeping the constant terms gives 1n2\frac{1}{n^2} after cancelling
  2. Keeping the highest powers gives n2n4=1n2\frac{n^2}{n^4} = \frac{1}{n^2}
  3. Both terms are equal at n=1n = 1
  4. 1n2\frac{1}{n^2} is smaller than ana_n for large nn, as the test needs
Show the answer

For large nn the numerator behaves like n2n^2 and the denominator like n4n^4, so ana_n behaves like n2n4=1n2\frac{n^2}{n^4} = \frac{1}{n^2}.

  • Keeping the constant terms gives 1n2\frac{1}{n^2} after cancelling: The constants matter least for large nn; the highest powers dominate.
  • Correct: Keeping the highest powers gives n2n4=1n2\frac{n^2}{n^4} = \frac{1}{n^2}: Right: the dominant terms decide how the terms behave for large nn.
  • Both terms are equal at n=1n = 1: At n=1n = 1, a1=24a_1 = \frac{2}{4} and b1=1b_1 = 1: they are not equal, and one value decides nothing.
  • 1n2\frac{1}{n^2} is smaller than ana_n for large nn, as the test needs: A limit comparison needs no inequality; the choice comes from the dominant powers.

4. What does the limit comparison test conclude about ∑n=1∞n2+1n4+3n\sum_{n=1}^{\infty} \frac{n^2 + 1}{n^4 + 3n}?

  1. It diverges: the limit is 1, which is not less than 1 as the test needs
  2. Nothing: the ratio is 0.5 at n=1n = 1, so the two series differ
  3. It converges: the terms approach 0 and the ratios approach 1
  4. It converges, like the pp-series ∑1n2\sum \frac{1}{n^2}
Show the answer

Both series have positive terms and limn→∞anbn\lim_{n \to \infty} \frac{a_n}{b_n}=1= 1, a finite positive number. ∑1n2\sum \frac{1}{n^2} is a pp-series with p=2>1p = 2 > 1, so it converges, and by the limit comparison test ∑an\sum a_n converges.

  • It diverges: the limit is 1, which is not less than 1 as the test needs: The limit comparison test does not compare the limit with 1; any finite positive limit links the two series.
  • Nothing: the ratio is 0.5 at n=1n = 1, so the two series differ: Only the limit as n→∞n \to \infty matters, not early values.
  • It converges: the terms approach 0 and the ratios approach 1: Terms approaching 0 are not enough; the comparison with p=2p = 2 is the reason.
  • Correct: It converges, like the pp-series ∑1n2\sum \frac{1}{n^2}: Right: a finite positive limit means both series do the same thing.

5. A student writes: "1n+1<1n\frac{1}{n+1} < \frac{1}{n} and the harmonic series diverges, so ∑n=1∞1n+1\sum_{n=1}^{\infty} \frac{1}{n+1} diverges by the direct comparison test." What is wrong?

  1. The series converges, because its terms are smaller than those of the harmonic series
  2. The inequality is false: 1n+1>1n\frac{1}{n+1} > \frac{1}{n}, so the comparison is reversed
  3. Nothing: the argument is correct, since both series have positive terms
  4. Smaller than a divergent series proves nothing
Show the answer

To show divergence by direct comparison, the terms must be at least as large as those of a divergent series. Here they are smaller, so no conclusion follows. The limit comparison with 1n\frac{1}{n} works: limn→∞nn+1\lim_{n \to \infty} \frac{n}{n+1}=1= 1, so the series diverges.

  • The series converges, because its terms are smaller than those of the harmonic series: The series does diverge (its limit comparison with 1n\frac{1}{n} gives 1); only the reason is wrong.
  • The inequality is false: 1n+1>1n\frac{1}{n+1} > \frac{1}{n}, so the comparison is reversed: The inequality is true; the problem is which way it points.
  • Nothing: the argument is correct, since both series have positive terms: A divergent series that is larger shows nothing about a smaller one.
  • Correct: Smaller than a divergent series proves nothing: Right: the inequality points the wrong way for divergence.

6. Which argument shows that ∑n=1∞12n−1\sum_{n=1}^{\infty} \frac{1}{2^n - 1} converges?

  1. Limit comparison with 12n\frac{1}{2^n}: the limit is 1 and ∑12n\sum \frac{1}{2^n} converges
  2. Direct comparison with 12n\frac{1}{2^n}, since 12n−1<12n\frac{1}{2^n - 1} < \frac{1}{2^n} for each nn
  3. Direct comparison with 1n\frac{1}{n}, since 12n−1<1n\frac{1}{2^n - 1} < \frac{1}{n}
  4. Limit comparison with 1n\frac{1}{n}: the limit is 0 and ∑1n\sum \frac{1}{n} diverges
Show the answer

The terms 12n−1\frac{1}{2^n - 1} are larger than 12n\frac{1}{2^n}, so a direct comparison goes the wrong way. With limit comparison, limn→∞1/(2n−1)1/2n\lim_{n \to \infty} \frac{1/(2^n - 1)}{1/2^n}=limn→∞2n2n−1= \lim_{n \to \infty} \frac{2^n}{2^n - 1}=1= 1, and ∑12n\sum \frac{1}{2^n} is geometric with r=12r = \frac{1}{2}, so the series converges.

  • Correct: Limit comparison with 12n\frac{1}{2^n}: the limit is 1 and ∑12n\sum \frac{1}{2^n} converges: Right: the limit lim2n2n−1\lim \frac{2^n}{2^n - 1} is 1.
  • Direct comparison with 12n\frac{1}{2^n}, since 12n−1<12n\frac{1}{2^n - 1} < \frac{1}{2^n} for each nn: The inequality is backwards: 2n−1<2n2^n - 1 < 2^n makes 12n−1\frac{1}{2^n - 1} the larger term.
  • Direct comparison with 1n\frac{1}{n}, since 12n−1<1n\frac{1}{2^n - 1} < \frac{1}{n}: Smaller than a divergent series proves nothing.
  • Limit comparison with 1n\frac{1}{n}: the limit is 0 and ∑1n\sum \frac{1}{n} diverges: The limit comparison test needs a finite positive limit; 0 is not one.

Part 9 · Summary

Summary

For a series with positive terms, compare it with a known geometric series or pp-series. Direct comparison: smaller than a convergent series converges, larger than a divergent series diverges. Limit comparison: if limn→∞anbn\lim_{n \to \infty} \frac{a_n}{b_n} is finite and positive, both series do the same thing.

Part 10 · Up next

What comes next

Part 11 · Connections

Connections