This test is the content of the following theorem, which we'll prove in class.
That is, if the improper integral converges then the series converges and if the improper integral diverges, the series diverges. The proof of this theorem rests on the inequality
where is the n-th partial sum of the series. This inequality
is obtained by thinking of
as a Riemann sum, just like we did in
class to prove the divergence of the harmonic series.
To help you see where the inequality comes from, we'll consider our
example and n=5.
We can visualize the connection between the sums and the integrals by
using some
plotting commands from the student package. The following
command plots the function
and a left-endpoint
rectangular approximation to the integral of
from x=1 to
x=6.
> with(student):
> leftbox(f(x),x=1..6,5);
If you add up the areas of the five rectangles, you get
. Clearly, the sum of the areas of the rectangles is greater than
the area under the curve, so we have the following inequality.
Next, consider the plot generated by the following command.
> rightbox(f(x),x=1..5,4);
The sum of the areas of the rectangles is a right-endpoint
approximation to the integral of from x=1 to x=5. It should
be clear that the sum of the areas of the rectangle is smaller than
the integral. Note also that the sum of the areas is
,
that is, it is missing the first term. Thus, what we have is that
Adding to both sides of the inequality and recognizing that
, we have
This shows that the inequality holds for n=5. It isn't too hard to generalize it to arbitrary n.
A similar procedure can be used to estimate the error term ,
defined by
in terms of integrals as