Why the Choice of Test Matters
A positive series may invite more than one method. For example, a formula might have a continuous version that is straightforward to integrate, or its terms might be easy to bound by a familiar power of \(n\). In either case, the goal is not to perform the most elaborate calculation. It is to find a valid argument with hypotheses that can be checked clearly.
This tutorial focuses on choosing between the integral test and direct comparison. Both apply to series with nonnegative terms, but they use different information: the integral test studies the area under a function, while direct comparison uses an inequality between terms.
The Two Methods and Their Conditions
Suppose \(a_n\ge 0\) for all sufficiently large \(n\). A finite number of terms does not affect whether a series converges, so the tests may be applied to a tail.
The comparison series is often a \(p\)-series, \(\sum 1/n^p\), which converges for \(p>1\) and diverges for \(p\le 1\). The direction of the inequality matters: a smaller positive series cannot be forced to diverge merely because a larger one diverges.
Why the Integral Test Works
The integral test is based on the rectangles formed by a decreasing function. If \(f\) is positive and decreasing, then on each interval \([n,n+1]\), its values lie between \(f(n+1)\) and \(f(n)\). Integrating these bounds over an interval of width \(1\) gives
Adding these inequalities from \(n=N\) to \(n=M\) yields
Thus the partial sums and the accumulated areas bound one another, apart from a finite endpoint term. If the integral has finite total area, the series’ partial sums are bounded. If the series has bounded partial sums, the integral is bounded as well. Since both have nonnegative terms or area, boundedness of their increasing partial sums or accumulated areas is equivalent to convergence. This explains why the test requires a decreasing function: that condition makes the rectangle bounds valid.
Worked Example: A Logarithmic Factor Suited to Integration
Worked Example: A Logarithmic Factor Suited to Integration
Determine whether
converges. The logarithm makes comparison with a plain \(p\)-series less direct, while the corresponding integral has a simple substitution. Set \(f(x)=1/[x(\ln x)^2]\) for \(x\ge2\). The function is continuous and positive on this interval. Its derivative is
Therefore \(f\) is decreasing, and the integral test applies. Evaluate the integral using \(u=\ln x\), so \(du=dx/x\):
This is finite, so the series converges. As a check on the antiderivative,
The function conditions and the finite integral agree with the convergence conclusion.
Worked Example: A Radical Term with a Harmonic Lower Bound
Worked Example: A Radical Term with a Harmonic Lower Bound
Determine whether
converges. For \(n\ge1\), we have \(n\le n^2\), and hence
Taking positive square roots gives \(\sqrt{n^2+n}\le 3n/2\). Taking reciprocals reverses the inequality because both sides are positive:
The harmonic series \(\sum 1/n\) diverges. Therefore, by direct comparison from below, the series in question diverges. The bound is usable for every \(n\ge1\); for instance, at \(n=1\), \(1/\sqrt2\ge2/3\), as the inequality predicts. The lower-bound direction is essential: it shows that the terms are at least as large as a divergent benchmark up to a positive constant.
Worked Example: A Rational Term with a Convergent Upper Bound
Worked Example: A Rational Term with a Convergent Upper Bound
Determine whether
converges. For \(n\ge1\), \(2\le2n\), so \(3n+2\le5n\). Also \(n^3+4n+1\ge n^3>0\). Consequently,
The comparison series \(\sum 5/n^2\) converges because it is a constant multiple of a \(p\)-series with \(p=2>1\). The direct comparison test therefore proves convergence. The two estimates used in the bound hold for every \(n\ge1\), and dividing by the denominator preserves the stated upper bound because all denominators are positive.
Worked Example: A Radical Term with a Convergent Power Bound
Worked Example: A Radical Term with a Convergent Power Bound
Determine whether
converges. Since \(n+1\ge n>0\), taking square roots gives \(\sqrt{n+1}\ge\sqrt n\). Therefore,
The comparison series converges because \(3/2>1\). Direct comparison proves that the given series converges. The check is that the radical in the original denominator is at least \(\sqrt n\), making the original term no larger than \(n^{-3/2}\). A larger denominator produces a smaller positive fraction, which is the required direction for proving convergence.
A Practical Decision Process
For a concrete series, the following sequence of decisions helps prevent wasted work:
Confirm that the terms are nonnegative for all sufficiently large \(n\). If only finitely many initial terms need attention, they do not change convergence.
Try to bound a rational or radical term above by a convergent \(p\)-series, or below by a divergent one. Write down why the inequality holds and verify its direction.
For a term involving logarithms or a familiar function, define \(f(x)\) by replacing \(n\) with \(x\). Verify continuity, positivity, and decrease on a suitable interval before evaluating its improper integral.
An upper bound by a convergent series proves convergence; a lower bound by a divergent series proves divergence. The integral test requires its function conditions, not just a finite or infinite-looking integral calculation.
These choices are not exclusive. A series may satisfy the hypotheses of both methods. Prefer the argument with the shortest transparent verification, rather than assuming that one test is always better for a particular kind of formula.
Common Pitfall: Using the Wrong Comparison Direction
Consider the false argument: “Since \(1/n^2\le1/n\), and \(\sum 1/n\) diverges, \(\sum 1/n^2\) diverges.” The inequality is true, but the conclusion does not follow. It gives an upper bound by a divergent series, which is not enough to establish divergence. Indeed, the series \(\sum1/n^2\) converges.
To use direct comparison to prove divergence, the divergent benchmark must be a lower bound. To use it to prove convergence, the convergent benchmark must be an upper bound. Always write the inequality in the form needed for the conclusion before invoking the comparison test.
Check Your Understanding
For each question, identify the needed hypothesis or comparison direction before deciding on a test.
- For \(\sum_{n=2}^{\infty}1/[n(\ln n)^3]\), what function would you use for the integral test, and what conditions must you verify?
- If \(0\le a_n\le 4/n^2\) for all sufficiently large \(n\), what conclusion follows, and why?
- To prove that a positive series diverges by comparison with \(\sum1/n\), should its terms be bounded above or below by a positive multiple of \(1/n\)?
- Why does \(1/[n\sqrt{n+1}]\le1/n^{3/2}\) establish convergence?
- What does the integral test require of the function \(f\), in addition to the existence of an improper integral?