What Makes a Convergence Argument Complete?
A convergence test is not just a label attached to a final answer. A complete argument explains why the test applies, identifies the comparison or limit that makes it decisive, and states exactly what conclusion follows. If a hypothesis is missing, or a test returns an inconclusive result, the argument must not claim that the series converges or diverges on that basis.
For a series \(\sum_{n=1}^{\infty} a_n\), convergence means that its sequence of partial sums \(S_N=\sum_{n=1}^{N}a_n\) approaches a finite limit as \(N\) increases. Many tests give a way to establish this without finding that limit. The essential writing habit is to make the logical chain visible: identify the relevant test, verify its conditions, show the decisive inequality or limit, and give the conclusion licensed by the test.
A Reliable Structure for Test-Based Reasoning
A short, well-organized proof usually answers four questions:
- What test is being used? Name it rather than saying only “by a test.”
- What must be true for it to apply? State the relevant conditions, such as nonnegative terms, eventual decrease, or existence of a ratio limit.
- What calculation or inequality decides the test? Show the comparison or limit, including its value.
- What does the result establish? Say “converges,” “diverges,” or “the test is inconclusive,” as appropriate.
Often, a condition needs to hold only for all sufficiently large \(n\). Changing or removing finitely many terms does not change whether a series converges: the partial sums are shifted by a fixed finite amount. It is therefore acceptable to establish a test’s conditions eventually, but the argument should say so.
For example, a comparison may hold only for \(n\geq 4\). That is sufficient if the omitted terms are finite and defined. It is not sufficient to use a comparison theorem while ignoring the need for nonnegative terms in the range where the comparison is made.
Comparison Tests: State the Direction
The Direct Comparison Test is used for series with nonnegative terms. If \(0\leq a_n\leq b_n\) for all sufficiently large \(n\), then convergence of \(\sum b_n\) implies convergence of \(\sum a_n\). If \(0\leq b_n\leq a_n\) eventually and \(\sum b_n\) diverges, then \(\sum a_n\) diverges. The inequality must point in the direction needed for the conclusion.
Here is why the convergence direction works. Once \(0\leq a_n\leq b_n\) holds, each partial sum of the \(a_n\) terms from that point onward is bounded above by the corresponding partial sum of the \(b_n\) terms. Those partial sums are nondecreasing, because the terms are nonnegative, and bounded above if \(\sum b_n\) converges. A nondecreasing bounded sequence has a finite limit, so the partial sums of \(\sum a_n\) converge as well. The divergence direction follows because partial sums of the larger nonnegative terms cannot remain bounded if the smaller terms already have unbounded partial sums.
Worked Example: Comparison with a Convergent P-Series
Determine whether \(\sum_{n=1}^{\infty}\frac{3n+2}{n^3+1}\) converges.
Set \(a_n=\frac{3n+2}{n^3+1}\). For \(n\geq 1\), \(a_n\) is positive. Also, \(3n+2\leq 5n\), since \(2\leq 2n\), and \(n^3+1\geq n^3\). Thus
The comparison series \(\sum_{n=1}^{\infty}\frac{5}{n^2}\) converges: it is a constant multiple of the \(p\)-series with \(p=2>1\). The terms are nonnegative and the inequality holds for every \(n\geq 1\), so the Direct Comparison Test applies and \(\sum a_n\) converges.
Check: The comparison is an upper bound by a convergent series, exactly the direction required to prove convergence. This argument does not claim that the original series equals the comparison series; it uses the comparison only to establish convergence.
The Ratio Test: Include the Limit and Its Meaning
Suppose \(a_n\neq 0\) for all sufficiently large \(n\), and the limit \(\rho=\lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|\) exists. The Ratio Test states:
- If \(\rho<1\), then \(\sum a_n\) converges absolutely.
- If \(\rho>1\), including an infinite limit, then \(\sum a_n\) diverges.
- If \(\rho=1\), the test is inconclusive.
The limit value alone is not the whole justification: the written conclusion must match the relevant case. In particular, \(\rho<1\) gives absolute convergence, which implies convergence of the original series. A limit of \(1\) does not establish either outcome.
Worked Example: A Ratio Limit Less Than One
Determine whether \(\sum_{n=1}^{\infty}\frac{3^n}{n!}\) converges.
Let \(a_n=\frac{3^n}{n!}\), which is positive for every \(n\). The successive-term ratio is
Therefore, \(\lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|=\lim_{n\to\infty}\frac{3}{n+1}=0\). The terms are nonzero, the ratio limit exists, and \(0<1\). By the Ratio Test, the series converges absolutely, and hence converges.
Check: The decisive value is \(0\), which lies strictly below \(1\); this is not the inconclusive boundary case. Positivity also means absolute convergence here is the same as convergence of the given series.
Inconclusive Means No Conclusion from That Test
When a test is inconclusive, it has not failed mathematically. It has simply not distinguished the series’ behavior. For the Ratio Test, \(\rho=1\) leaves both possibilities open. Other tests also have hypotheses that may fail, or conclusions that do not apply in a particular case. A careful solution reports this limitation and then uses a different justified method if a final determination is needed.
Worked Example: Ratio Limit One Is Not a Verdict
Compare \(\sum_{n=1}^{\infty}\frac{1}{n}\) and \(\sum_{n=1}^{\infty}\frac{1}{n^2}\) using the Ratio Test.
For the first series, let \(a_n=\frac{1}{n}\). Then
The Ratio Test is inconclusive. It does not prove that this series converges or diverges. To finish, use the known harmonic-series result: \(\sum\frac{1}{n}\) diverges.
For the second series, let \(b_n=\frac{1}{n^2}\). Then
Again, the Ratio Test is inconclusive. But \(\sum\frac{1}{n^2}\) converges by the \(p\)-series test, since \(p=2>1\).
Check: Both ratio limits equal \(1\), although one series diverges and the other converges. This confirms that a ratio limit of \(1\) cannot decide the question.
Alternating Series: Verify Both Conditions
The Alternating Series Test applies to a series written as \(\sum_{n=1}^{\infty}(-1)^{n+1}b_n\), where \(b_n\geq 0\). If \(b_n\) is nonincreasing for all sufficiently large \(n\) and \(\lim_{n\to\infty}b_n=0\), the alternating series converges. Both conditions matter. Alternation by itself is not enough, and decrease without a zero limit is not enough.
Worked Example: Verify an Alternating-Series Conclusion
Determine whether \(\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{\sqrt{n}}\) converges, and determine whether it converges absolutely.
Set \(b_n=\frac{1}{\sqrt{n}}\). These terms are positive, and \(b_{n+1}<b_n\) because \(n+1>n>0\) implies \(\sqrt{n+1}>\sqrt{n}\), hence \(\frac{1}{\sqrt{n+1}}<\frac{1}{\sqrt{n}}\). Also, \(\lim_{n\to\infty}b_n=0\). The series alternates in sign, so the Alternating Series Test applies and proves convergence.
For absolute convergence, consider \(\sum_{n=1}^{\infty}\left|\frac{(-1)^{n+1}}{\sqrt{n}}\right|=\sum_{n=1}^{\infty}\frac{1}{n^{1/2}}\). This is a \(p\)-series with \(p=\frac12\leq 1\), so it diverges. Thus the original series converges conditionally, not absolutely.
Check: The alternating convergence conclusion uses both decrease and limit zero. The separate absolute-convergence check uses the magnitude of each term and the \(p\)-series criterion.
A Common Mistake: Treating a Test’s Boundary as a Conclusion
A frequent error is to write, “The Ratio Test gives \(1\), so the series diverges.” The calculation may be correct, but the conclusion is not supported. The test says that a ratio limit of \(1\) is inconclusive, not divergent.
Incorrect: “The ratio limit is \(1\), so \(\sum\frac{1}{n^2}\) diverges.”
Correction: “The Ratio Test is inconclusive because its limit is \(1\). However, \(\sum\frac{1}{n^2}\) converges by the \(p\)-series test, since \(p=2>1\).”
The correction separates what the first test says from what a second test establishes. This distinction is central to a defensible convergence argument: do not assign a conclusion to a test beyond the conditions and outcomes in its theorem.
Why Precise Justification Matters
On an AP exam, naming a test without showing its conditions may leave a logical gap. A complete response lets another reader check the reasoning without guessing. For a comparison argument, the reader should be able to see nonnegativity, the inequality direction, and why the benchmark series has the stated behavior. For the Ratio Test, the limit should be evaluated and compared with \(1\). For the Alternating Series Test, decrease and the zero limit should both be addressed.
Before finalizing a solution, ask:
- Have I named the test I am applying?
- Have I verified its necessary hypotheses, at least eventually where appropriate?
- Have I shown the decisive inequality or limit rather than merely asserted it?
- Does my conclusion match the test’s actual result?
- If the test is inconclusive, have I said so instead of treating it as a verdict?
These checks turn a calculation into a mathematical argument. They also make it easier to catch mistakes: an incorrect inequality direction, a missing monotonicity check, or a boundary result misread as proof will become visible before it undermines the conclusion.
Check Your Understanding
For each question, state both what the test establishes and what conditions your argument must verify.
- If \(0\leq a_n\leq b_n\) eventually and \(\sum b_n\) converges, what conclusion follows about \(\sum a_n\)?
- A series has a Ratio Test limit of \(1\). What does the test establish, and what does it leave unresolved?
- For an alternating series with positive magnitudes \(b_n\), what two conditions are needed for the Alternating Series Test?
- Why does a Ratio Test limit less than \(1\) establish absolute convergence rather than merely a numerical property of the terms?
- What is the error in claiming that \(\sum 1/n^2\) diverges because its Ratio Test limit equals \(1\)?
