Proving that the *p*-series converges for is a standard exercise in second-semester calculus. It’s also an important property to know when establishing the convergence of other series via a comparison test. The usual way I do this in class is with the integral test. However, I saw a different, simple proof by joriki on Math.SE a few years back. That proof is the subject of this post.

Let be the *n*th partial sum . Clearly, is increasing. We have

.

Solving for yields (provided )

.

(Again, this only holds when . If then you can’t isolate . If then , and so we get .)

Thus the sequence is bounded above for . By the Monotone Convergence Theorem, then, converges. And, of course, since the sequence of partial sums converges, converges.

One use of this proof, as a commenter on joriki’s post mentions, is when doing the series material at the *beginning* of a Calculus II course rather than at the end. The only piece of content from the rest of Calculus II that you need for the series material is the integral test, and the primary use of the integral test is to prove convergence of the *p*-series when . With this proof one can establish this convergence without knowing improper integration or the integral test.

### Like this:

Like Loading...

*Related*

Your proof doesn’t use the condition that p>1, i.e. it “proves” that ALL p-series converge, which is clearly not true.

It actually does use the fact that . I’ve now made that explicit in the proof.