How To Do The Comparison Test

Introduction

If youhave ever tackled the question “Does an infinite series converge or diverge?” you have probably encountered the comparison test. This powerful tool lets you decide the fate of a series by comparing it to another series whose behavior is already known. In this article we will explore how to do the comparison test in a clear, step‑by‑step manner. We will define the test, walk through its logical foundation, illustrate it with concrete examples, and address common pitfalls that often trip up beginners. By the end you will have a solid, practical grasp of the method and be ready to apply it confidently to any series you meet in calculus or advanced analysis.

Detailed Explanation

The comparison test is fundamentally a relationship between two series of positive terms. Suppose we have two series

[\sum_{n=1}^{\infty} a_n \quad\text{and}\quad \sum_{n=1}^{\infty} b_n, ]

where each term (a_n \ge 0) and (b_n \ge 0). If we can establish a consistent inequality between the terms—either (0 \le a_n \le b_n) for all (n) or (0 \le b_n \le a_n) for all (n)—then the convergence properties of one series force the same behavior on the other.

• Direct Comparison Test (Convergence): If (0 \le a_n \le b_n) for every (n) and (\sum b_n) converges, then (\sum a_n) must also converge.
• Direct Comparison Test (Divergence): If (0 \le b_n \le a_n) for every (n) and (\sum b_n) diverges, then (\sum a_n) must also diverge.

The test works only with non‑negative terms because the direction of the inequality must be preserved when we “squeeze” one series between the other. If signs alternate or terms become negative, the test is no longer valid; instead you would need to resort to alternating‑series tests or absolute convergence arguments.

Why does this work? The idea is simple: a series with larger (or equal) terms cannot “finish” before a series with smaller terms. If the larger series runs out of steam (i.e., its partial sums approach a finite limit), the smaller series, being bounded above by it, must also settle down to a finite limit. Conversely, if the smaller series keeps growing without bound, the larger one cannot converge either. This logical squeeze is the heart of the comparison test.

Step‑by‑Step or Concept Breakdown

Below is a practical roadmap you can follow each time you face a new series and wonder whether to use the comparison test.

1. Identify the series you want to test, say (\displaystyle \sum_{n=1}^{\infty} a_n).
2. Check that all terms are non‑negative. If any term is negative, consider absolute values or another test.
3. Choose a benchmark series (\displaystyle \sum_{n=1}^{\infty} b_n) whose convergence is already known. Common choices include the p‑series (\displaystyle \sum \frac{1}{n^p}), the geometric series (\displaystyle \sum r^n), or the harmonic series (\displaystyle \sum \frac{1}{n}).
4. Establish an inequality between (a_n) and (b_n). This can be done algebraically, by simplifying the ratio (\frac{a_n}{b_n}), or by using known limits.
5. Apply the appropriate direction of the comparison test:
   • If (a_n \le b_n) and (\sum b_n) converges → (\sum a_n) converges.
   • If (b_n \le a_n) and (\sum b_n) diverges → (\sum a_n) diverges.
6. Conclude the behavior of the original series based on the benchmark’s known outcome.

Sometimes you will need to manipulate the terms of (a_n) (e.g., factor out constants, rewrite using exponent rules) to make the inequality evident. In other cases, you might compare the asymptotic behavior by evaluating (\displaystyle \lim_{n\to\infty}\frac{a_n}{b_n}). If this limit is a finite positive number, the two series share the same convergence status—a related result called the limit comparison test, which we will touch on briefly later.

Real Examples

Example 1: Convergence via a p‑series

Consider the series

[ \sum_{n=1}^{\infty} \frac{1}{n^2+3n+1}. ]

Step 1: The terms are clearly positive.
Step 2: Choose the benchmark (b_n = \frac{1}{n^2}), a p‑series with (p=2>1) that is known to converge.
Step 3: Compare term‑by‑term: [ \frac{1}{n^2+3n+1} \le \frac{1}{n^2} \quad\text{for all } n\ge 1, ]

because the denominator on the left is larger. Step 4: Since (\sum \frac{1}{n^2}) converges and our terms are bounded above by it, the original series converges by the direct comparison test.

Example 2: Divergence via the harmonic series

Examine

[ \sum_{n=1}^{\infty} \frac{1}{\sqrt{n}}. ]

Step 1: All terms are positive.
Step 2: Use the harmonic series (\displaystyle \sum \frac{1}{n}) as a benchmark, which diverges.
Step 3: Observe that for (n\ge 1),

[ \frac{1}{\sqrt{n}} \ge \frac{1}{n}, ]

because (\sqrt{n} \le n).
Step 4: Since the smaller harmonic series diverges and our series is term‑wise larger, the original series diverges by the comparison test.

Example 3: Using a geometric series as a benchmark

Test

[ \sum_{n=1}^{\infty} \frac{2^n}{3^{n+1}}. ]

Simplify the term:

[ \frac{2^n}{3^{n+1}} = \frac{1}{3}\left(\frac{2}{3}\right)^n. ]

Now compare with the geometric series (\displaystyle \sum \left(\frac{2}{3}\right)^n), which converges because the ratio (\frac{2}{3}<1). Since

[\frac{1}{3}\left(\frac{2}{3}\right)^n \le \left(\frac{2}{3}\right)^n, ]

the original series converges by direct comparison.

These examples illustrate how the choice of benchmark and the direction of the inequality guide the conclusion.

Scientific or Theoretical Perspective From a theoretical standpoint, the comparison test is a direct application of the Monotone Convergence Theorem for series. If ((S_N)) denotes the partial sums of a series

From a theoreticalstandpoint, the comparison test is a direct application of the Monotone Convergence Theorem for series. If ((S_N)) denotes the partial sums of a series (\sum a_n) with (a_n\ge 0), then ((S_N)) is a monotone non‑decreasing sequence. The theorem tells us that such a sequence converges iff it is bounded above.

When we exhibit a convergent benchmark series (\sum b_n) and show (0\le a_n\le b_n) for all sufficiently large (n), the partial sums of (\sum a_n) are bounded above by the partial sums of (\sum b_n). Since the latter converge to a finite limit, the former must also converge. Conversely, if we find a divergent benchmark (\sum c_n) with (0\le c_n\le a_n) eventually, the partial sums of (\sum a_n) dominate those of a divergent series and therefore cannot remain bounded; they must diverge to (+\infty).

The argument hinges only on the order relation between the terms, not on any special structure of the series. This is why the test works equally well for p‑series, geometric series, or any other convergent/divergent series whose behavior is already known.

When the direct inequality is difficult to establish, the limit comparison test often provides a smoother route. If (\displaystyle L=\lim_{n\to\infty}\frac{a_n}{b_n}) exists and satisfies (0<L<\infty), then (\sum a_n) and (\sum b_n) share the same fate. The proof follows from the fact that for large (n) we have (\frac{L}{2}b_n\le a_n\le \frac{3L}{2}b_n), reducing the problem to a direct comparison with a constant multiple of (b_n).

A subtle point to remember is that the test requires non‑negative terms. For series with alternating signs or complex terms, one first examines absolute convergence; if (\sum|a_n|) can be compared to a known convergent series, then the original series converges absolutely, and hence converges. If absolute convergence fails, other tools (alternating series test, Dirichlet’s test, etc.) must be employed.

In practice, the comparison test is most effective when the terms of the series resemble a simple power of (n), a geometric progression, or a rational function whose dominant term is easy to isolate. By extracting that dominant part—through factoring, exponent rules, or asymptotic simplification—one can often craft a suitable benchmark and apply the test with minimal computation.

Conclusion
The comparison test transforms an unfamiliar series into a question about a well‑understood benchmark. By establishing a term‑wise inequality (or, when needed, a limiting ratio that yields a comparable inequality), we leverage the monotone nature of non‑negative partial sums to deduce convergence or divergence. Mastery of this technique lies in recognizing the dominant behavior of (a_n), selecting an appropriate (b_n) (p‑series, geometric series, or another known series), and verifying the inequality either directly or via a limit. When applied judiciously, the comparison test—along with its limit counterpart—provides a powerful, elementary tool for analyzing the infinite sums that permeate calculus, analysis, and applied mathematics.