Skip to content
Family Table Math

Harmonic Series and p-Series

The harmonic series 1+12+13+14+…1 + \tfrac{1}{2} + \tfrac{1}{3} + \tfrac{1}{4} + \dots is one of the most surprising results in math: its terms shrink to 00, yet the sum is infinite. It belongs to a whole family, the p-series ∑1np\sum \frac{1}{n^p}, and there’s one simple rule for which members converge. These series are the measuring sticks you’ll compare other series against in the comparison tests, so it pays to know them cold.

A p-series has the form

∑n=1∞1np=1+12p+13p+14p+…\sum_{n=1}^{\infty} \frac{1}{n^p} = 1 + \frac{1}{2^p} + \frac{1}{3^p} + \frac{1}{4^p} + \dots

where pp is a constant. Then:

Value of ppThe p-series
p>1p \gt 1converges
0<p≤10 \lt p \le 1diverges (terms go to 00, but too slowly)
p≤0p \le 0diverges by the nnth term test (terms don’t go to 00)

For p>0p \gt 0, f(x)=1xpf(x) = \dfrac{1}{x^p} is positive, continuous, and decreasing for x≥1x \ge 1, so the integral test applies. And you know which of these improper integrals converge:

∫1∞1xp dx={1p−1if p>1∞if p≤1\int_1^{\infty} \frac{1}{x^p}\,dx = \begin{cases} \dfrac{1}{p - 1} & \text{if } p \gt 1 \\[2ex] \infty & \text{if } p \le 1 \end{cases}

(Remember, the value 1p−1\frac{1}{p-1} is the integral, not the sum of the series.)

When p=1p = 1 you get the harmonic series ∑1n\sum \frac{1}{n}, which diverges. It just barely diverges, though. The partial sums grow about as fast as ln⁡n\ln n, so it takes 12 36712\,367 terms for the sum to pass 1010.

Partial sums for n = 1 to 20. The partial sums of the harmonic series 1/n (blue) keep climbing, reaching about 3.6 at n = 20 and growing without bound. The partial sums of 1/n squared (orange) level off just under the dashed line at pi squared over 6, about 1.645. 4 8 12 16 20 1 2 3 4 π²/6 ≈ 1.645 Σ 1/n Σ 1/n² number of terms n partial sum Sₙ
Partial sums of ∑1n\sum \frac{1}{n} keep growing (slowly), while those of ∑1n2\sum \frac{1}{n^2} level off at π26\frac{\pi^2}{6}.

Rewrite roots and products as a single power of nn:

1n=1n1/2,nn2=1n3/2,1nn3=1n4/3.\frac{1}{\sqrt{n}} = \frac{1}{n^{1/2}}, \qquad \frac{\sqrt{n}}{n^2} = \frac{1}{n^{3/2}}, \qquad \frac{1}{n\sqrt[3]{n}} = \frac{1}{n^{4/3}} .

A constant multiple doesn’t change convergence, so ∑5n3\sum \frac{5}{n^3} converges just like ∑1n3\sum \frac{1}{n^3}.

Don’t confuse p-series with geometric series. In a p-series the variable is in the base (1n2\frac{1}{n^2}); in a geometric series it’s in the exponent (12n\frac{1}{2^n}).

Does each series converge or diverge?

  • (a) ∑n=1∞1n4\displaystyle\sum_{n=1}^{\infty} \frac{1}{n^4}
  • (b) ∑n=1∞1n\displaystyle\sum_{n=1}^{\infty} \frac{1}{\sqrt{n}}
  • (c) ∑n=1∞1n1.01\displaystyle\sum_{n=1}^{\infty} \frac{1}{n^{1.01}}
  • (d) ∑n=1∞1n2n\displaystyle\sum_{n=1}^{\infty} \frac{1}{n^2\sqrt{n}}

Solution.

(a) p=4>1p = 4 \gt 1: converges.

(b) 1n=1n1/2\dfrac{1}{\sqrt{n}} = \dfrac{1}{n^{1/2}}, so p=12≤1p = \tfrac{1}{2} \le 1: diverges.

(c) p=1.01>1p = 1.01 \gt 1: converges. (Even a tiny bit more than 11 is enough.)

(d) n2n=n2⋅n1/2=n5/2n^2\sqrt{n} = n^2 \cdot n^{1/2} = n^{5/2}, so p=52>1p = \tfrac{5}{2} \gt 1: converges.

Does each series converge or diverge?

  • (a) ∑n=1∞nn2\displaystyle\sum_{n=1}^{\infty} \frac{\sqrt{n}}{n^2}
  • (b) ∑n=1∞3nn3\displaystyle\sum_{n=1}^{\infty} \frac{3}{n\sqrt[3]{n}}
  • (c) ∑n=1∞n2n3\displaystyle\sum_{n=1}^{\infty} \frac{n^2}{n^3}

Solution.

(a) n1/2n2=1n3/2\dfrac{n^{1/2}}{n^2} = \dfrac{1}{n^{3/2}}, a p-series with p=32>1p = \tfrac{3}{2} \gt 1: converges.

(b) 3n⋅n1/3=3⋅1n4/3\dfrac{3}{n \cdot n^{1/3}} = 3 \cdot \dfrac{1}{n^{4/3}}, a constant times a p-series with p=43>1p = \tfrac{4}{3} \gt 1: converges.

(c) n2n3=1n\dfrac{n^2}{n^3} = \dfrac{1}{n}, the harmonic series: diverges.

Example 3: Why the harmonic series diverges, without calculus

Section titled “Example 3: Why the harmonic series diverges, without calculus”

Show that the 16th partial sum of the harmonic series is at least 33, and explain why the partial sums grow without bound.

Solution. Group the terms in blocks that double in length, and replace each term by the smallest term in its block:

S16=1+12+(13+14)+(15+⋯+18)+(19+⋯+116)≥1+12+(14+14)+(18⋅4)+(116⋅8)=1+12+12+12+12=3\begin{aligned} S_{16} &= 1 + \frac{1}{2} + \left(\frac{1}{3} + \frac{1}{4}\right) + \left(\frac{1}{5} + \dots + \frac{1}{8}\right) + \left(\frac{1}{9} + \dots + \frac{1}{16}\right) \\ &\ge 1 + \frac{1}{2} + \left(\frac{1}{4} + \frac{1}{4}\right) + \left(\frac{1}{8} \cdot 4\right) + \left(\frac{1}{16} \cdot 8\right) \\ &= 1 + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} = 3 \end{aligned}

(The actual value is S16≈3.381S_{16} \approx 3.381.) Each new block adds at least another 12\tfrac{1}{2}, so S2k≥1+k2S_{2^k} \ge 1 + \tfrac{k}{2}. That grows without bound, so the harmonic series diverges.

Does ∑n=1∞4(n+2)3\displaystyle\sum_{n=1}^{\infty} \frac{4}{(n + 2)^3} converge or diverge?

Solution. Write out the terms: 433+443+453+…\dfrac{4}{3^3} + \dfrac{4}{4^3} + \dfrac{4}{5^3} + \dots This is 4∑m=3∞1m34\displaystyle\sum_{m=3}^{\infty} \frac{1}{m^3}, a constant times a p-series with p=3p = 3 and its first two terms removed. Removing finitely many terms doesn’t affect convergence, so it converges.

Thinking p = 1 converges. The rule is p>1p \gt 1, strictly. The harmonic series (p=1p = 1) diverges, and AP questions love to test exactly this case.

Mixing up p-series and geometric series. ∑1n2\sum \frac{1}{n^2} is a p-series (p=2p = 2, converges). ∑12n\sum \frac{1}{2^n} is geometric (r=12r = \tfrac{1}{2}, converges). ∑1n1/2\sum \frac{1}{n^{1/2}} is a p-series that diverges, while ∑(12)n\sum \left(\tfrac{1}{2}\right)^n converges. Check whether nn is in the base or the exponent.

Simplifying the powers wrongly. nn=n3/2n\sqrt{n} = n^{3/2}, not n1/2n^{1/2}, and 1n23=1n2/3\frac{1}{\sqrt[3]{n^2}} = \frac{1}{n^{2/3}}. Write every root as a fractional exponent before deciding.

Saying the sum is 1/(p − 1). That’s the value of the integral. The sum of ∑1n2\sum \frac{1}{n^2} is π26\frac{\pi^2}{6}, not 11. On the AP exam you’ll only be asked whether a p-series converges, not for its sum.

Believing “terms go to 0, so it converges.” The harmonic series is the standard counterexample. Its terms go to 00 and it still diverges.

1. (Warm-up) Does each series converge or diverge?

  • (a) ∑n=1∞1n5\displaystyle\sum_{n=1}^{\infty} \frac{1}{n^5}
  • (b) ∑n=1∞1n0.5\displaystyle\sum_{n=1}^{\infty} \frac{1}{n^{0.5}}
  • (c) ∑n=1∞n−1\displaystyle\sum_{n=1}^{\infty} n^{-1}
Solution

(a) p=5>1p = 5 \gt 1: converges.

(b) p=0.5≤1p = 0.5 \le 1: diverges.

(c) n−1=1nn^{-1} = \frac{1}{n}, the harmonic series (p=1p = 1): diverges.

2. (Warm-up) Does ∑n=1∞1n3\displaystyle\sum_{n=1}^{\infty} \frac{1}{\sqrt[3]{n}} converge or diverge?

Solution

1n3=1n1/3\dfrac{1}{\sqrt[3]{n}} = \dfrac{1}{n^{1/3}}, a p-series with p=13≤1p = \tfrac{1}{3} \le 1, so it diverges.

3. (Warm-up) Write n2n4.5\dfrac{n^2}{n^{4.5}} as a single power and decide whether ∑n=1∞n2n4.5\displaystyle\sum_{n=1}^{\infty} \frac{n^2}{n^{4.5}} converges.

Solution

n2n4.5=1n2.5\dfrac{n^2}{n^{4.5}} = \dfrac{1}{n^{2.5}}, a p-series with p=2.5>1p = 2.5 \gt 1, so it converges.

4. (Core) Does ∑n=1∞n+nn3\displaystyle\sum_{n=1}^{\infty} \frac{n + \sqrt{n}}{n^3} converge or diverge?

Solution

Split the fraction:

n+nn3=1n2+1n5/2\frac{n + \sqrt{n}}{n^3} = \frac{1}{n^2} + \frac{1}{n^{5/2}}

Both ∑1n2\sum \frac{1}{n^2} (p=2p = 2) and ∑1n5/2\sum \frac{1}{n^{5/2}} (p=52p = \tfrac{5}{2}) converge, and the sum of two convergent series converges. So the series converges.

5. (Core) Does ∑n=1∞(1n2−1n)\displaystyle\sum_{n=1}^{\infty} \left(\frac{1}{n^2} - \frac{1}{n}\right) converge or diverge? Explain.

Solution

It diverges. Suppose ∑(1n2−1n)\sum \left(\frac{1}{n^2} - \frac{1}{n}\right) converged. Then

∑1n=∑1n2−∑(1n2−1n)\sum \frac{1}{n} = \sum \frac{1}{n^2} - \sum \left(\frac{1}{n^2} - \frac{1}{n}\right)

would be a difference of two convergent series, so it would converge. But the harmonic series diverges. So the original series must diverge. In short: convergent plus divergent is always divergent.

6. (Core) For which values of kk does ∑n=1∞1n2k−3\displaystyle\sum_{n=1}^{\infty} \frac{1}{n^{2k - 3}} converge?

Solution

It’s a p-series with p=2k−3p = 2k - 3. It converges when p>1p \gt 1:

2k−3>1⇒k>22k - 3 \gt 1 \quad\Rightarrow\quad k \gt 2

7. (Core) Given that ∑n=1∞1n2=π26\displaystyle\sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6}, find the exact value of each sum.

  • (a) ∑n=1∞1(2n)2\displaystyle\sum_{n=1}^{\infty} \frac{1}{(2n)^2}
  • (b) ∑n=3∞1n2\displaystyle\sum_{n=3}^{\infty} \frac{1}{n^2}
Solution

(a) 1(2n)2=14⋅1n2\dfrac{1}{(2n)^2} = \dfrac{1}{4} \cdot \dfrac{1}{n^2}, so the sum is 14⋅π26=π224\dfrac{1}{4} \cdot \dfrac{\pi^2}{6} = \dfrac{\pi^2}{24}.

(b) Remove the first two terms, 11 and 14\tfrac{1}{4}:

π26−1−14=π26−54\frac{\pi^2}{6} - 1 - \frac{1}{4} = \frac{\pi^2}{6} - \frac{5}{4}

8. (Challenge) Use Question 7 to find ∑n=1∞1(2n−1)2=1+19+125+…\displaystyle\sum_{n=1}^{\infty} \frac{1}{(2n - 1)^2} = 1 + \frac{1}{9} + \frac{1}{25} + \dots

Solution

The terms of ∑1n2\sum \frac{1}{n^2} split into odd nn and even nn. The even-nn terms are ∑1(2n)2=π224\sum \frac{1}{(2n)^2} = \frac{\pi^2}{24}. So the odd-nn terms add up to

π26−π224=4π2−π224=π28\frac{\pi^2}{6} - \frac{\pi^2}{24} = \frac{4\pi^2 - \pi^2}{24} = \frac{\pi^2}{8}

(Splitting like this is fine because all the terms are positive and the series converges.)

9. (Challenge) Using S2k≥1+k2S_{2^k} \ge 1 + \tfrac{k}{2} from Example 3, find a number of terms nn that guarantees the harmonic series’ partial sum SnS_n is at least 66.

Solution

We need 1+k2≥61 + \tfrac{k}{2} \ge 6, so k≥10k \ge 10. Then n=210=1024n = 2^{10} = 1024 terms are enough: S1024≥6S_{1024} \ge 6.

That’s a guarantee, not the smallest possible nn. (A computer shows SnS_n first passes 66 at n=227n = 227.) Either way, the sum grows very slowly.