p-Series and the p-Series Test

A student stares at Σ 1/n^p and needs to know, in one glance, whether it settles. The p-series test gives that answer directly: the series converges if p > 1 and diverges if p ≤ 1. That is the entire rule. No ratio, no root, no limit comparison, just that inequality.

The p-series is defined as a series of the form Σ 1/n^p, where p is any real constant. The test applies to positive-term series that look exactly like that. If the exponent p is greater than 1, the infinite sum approaches a finite number. If p equals 1 or is less than 1, the sum grows without bound. The boundary case p = 1 is the harmonic series, which diverges even though its terms shrink to zero, a result that surprises many students.

This rule appears in Stewart, Calculus: Early Transcendentals, 9th edition, section 11.3, and in OpenStax Calculus Volume 2, 2nd edition, section 5.2. Both sources give the same condition: converges if p > 1, diverges if p ≤ 1. The AP Calculus BC Course and Exam Description lists the p-series test under Topic 10.9. Memorize that inequality.

Why does p > 1 make the series converge while p = 1 makes it diverge? The reason comes from the integral test. Since the terms 1/n^p are positive and decreasing for n ≥ 1, the series Σ 1/n^p either both converge or both diverge alongside the improper integral ∫₁^∞ (1/x^p) dx.

Evaluate that integral: ∫₁^∞ x^{-p} dx = [x^{1-p}/(1-p)]₁^∞ when p ≠ 1. The integral converges only when the exponent 1-p is negative, meaning 1-p < 0, so p > 1. When p < 1, the exponent is positive, the upper limit produces ∞, and the integral diverges. When p = 1, the integral becomes ∫₁^∞ (1/x) dx = ln x|₁^∞, which diverges. The integral test then forces the same fate on the series.

The integral test is covered in Stewart section 11.3 and in AP Calculus BC CED Topic 10.7. For a p-series, the integral test is decisive and straightforward. The test requires that the function f(x) = 1/x^p is positive and decreasing for x ≥ 1, which holds for any p > 0. For p ≤ 0, the terms do not even approach zero, so the divergence test immediately shows divergence, no integral needed.

The harmonic series is the p-series with p = 1: Σ 1/n = 1 + 1/2 + 1/3 + 1/4 + ... . It diverges. This is the most famous counterexample in series convergence: terms shrink to zero, but the sum does not settle. A common student error is to assume that because 1/n → 0, the series must converge. The divergence test (Stewart section 11.2) says only that if terms do not approach zero, the series diverges, it never proves convergence. The harmonic series shows why that one-way test matters.

Why does the harmonic series diverge? Group the terms: 1 + 1/2 + (1/3 + 1/4) + (1/5 + 1/6 + 1/7 + 1/8) + ... . Each group after the first two terms has a sum greater than 1/2. The first group (1/3 + 1/4) > 1/2, the next group (four terms) > 4 × 1/8 = 1/2, and so on. Adding infinitely many groups each larger than 1/2 forces the total sum to infinity. This grouping argument, often attributed to Nicole Oresme in the 14th century, is the classic proof.

The harmonic series serves as a key benchmark for the comparison test and the limit comparison test. Any series whose terms behave like 1/n for large n will also diverge. Conversely, a series whose terms are smaller than 1/n for all sufficiently large n might converge, but only if the comparison series converges, which the harmonic series does not. The harmonic series is the dividing line: p = 1 is the threshold between convergence and divergence for p-series.

For p = 2, the p-series Σ 1/n^2 = 1 + 1/4 + 1/9 + 1/16 + ... converges. The exact sum is π²/6, a result known as the Basel problem. Leonhard Euler proved this in 1734 and published it in De summis serierum reciprocarum (1735). The sum is irrational and transcendental, no rational number, no simple fraction. The series converges, but the sum is a surprising constant, not a clean fraction.

Knowing the exact sum matters for two reasons. First, it confirms that the p-series test works: p = 2 > 1, so the series converges, and the sum is a specific finite number. Second, the Basel sum is a reference point for comparison tests. If a series behaves like 1/n² for large n, its sum is comparable to a finite number. The comparison test and limit comparison test use known convergent series (like Σ 1/n²) as benchmarks to prove convergence of other series.

Do not expect to compute the sum yourself with elementary methods. The p-series test only tells you convergence or divergence; it never gives the sum. The exact sum of Σ 1/n² comes from Fourier series or complex analysis, topics far beyond Calc II. When a textbook asks you to find the sum of a p-series, it either is a trick (the sum is the test result itself) or is referencing the Basel problem by name.

The p-series test gives you two main benchmarks: divergent (p ≤ 1) and convergent (p > 1). Any series whose terms behave like 1/n^p for large n can be compared to the p-series with the same exponent. That is the core of the comparison test and the limit comparison test, you match a given series to a known p-series and deduce its fate.

When to Compare to a p-Series

If the general term a_n is a rational function of n, look at the highest powers. For example, Σ (n^2 + 3)/(n^4 + 5n + 2) behaves like n^2/n^4 = 1/n^2 for large n. Compare it to the convergent p-series Σ 1/n^2. Use the limit comparison test: compute lim (a_n)/(1/n^2). If the limit is finite and positive, both series share the same convergence fate. That limit is usually quick to compute, cancel highest powers.

What Can Go Wrong

The most common failure: comparing to the wrong p-series. A student sees Σ 1/(n^2 + 1) and compares it to Σ 1/n^2 (convergent), which is correct. But a series like Σ 1/(n^2 + n) also behaves like 1/n^2, so the limit comparison test works. The trap is when the series has exponential or factorial terms, those are not p-series, and comparison tests with p-series will fail because the limit will be 0 or ∞. For factorials, use the ratio test; for exponentials, the ratio or root test; for alternating signs, the alternating series test.

Practical Steps

Identify the dominant term in numerator and denominator. Write the leading behavior as 1/n^p. Check whether p > 1. That tells you the convergence class of the benchmark. Then apply the limit comparison test: compute the limit of the ratio a_n/(1/n^p). If the limit is a positive finite number (between 0 and ∞, exclusive), the series and the benchmark share the same result. If the limit is 0 or ∞, the comparison is inconclusive, pick a different p or a different test entirely.

Why This Matters on Exams

On a timed exam, you cannot re-derive the p-series test from first principles. You must know that p > 1 converges and p ≤ 1 diverges, instantly. The second most important skill: recognizing that a series like Σ 1/(n^3 + 2n) is essentially Σ 1/n^3, which converges. The third: never confuse a p-series with a geometric series. A p-series has a variable base n and a constant exponent p; a geometric series has a constant base r and a variable exponent n. They look different: Σ 1/2^n is geometric (r = 1/2, converges), while Σ 1/n^2 is a p-series (p = 2, converges). Mixing them up is the single most frequent student error on convergence problems.