Editing Harmonic series (mathematics) (section)

===Integral test===
[[File:Integral Test.svg|thumb|Rectangles with area given by the harmonic series, and the hyperbola <math>y=1/x</math> through the upper left corners of these rectangles]]
It is possible to prove that the harmonic series diverges by comparing its sum with an [[improper integral]].  Specifically, consider the arrangement of rectangles shown in the figure to the right. Each rectangle is 1 unit wide and <math>\tfrac1n</math> units high, so if the harmonic series converged then the total area of the rectangles would be the sum of the harmonic series. The curve <math>y=\tfrac1x</math> stays entirely below the upper boundary of the rectangles, so the area under the curve (in the range of <math>x</math> from one to infinity that is covered by rectangles) would be less than the area of the union of the rectangles. However, the area under the curve is given by a divergent [[improper integral]],
<math display=block>\int_1^\infty\frac{1}{x}\,dx = \infty.</math>
Because this integral does not converge, the sum cannot converge either.{{r|kifowit}}

In the figure to the right, shifting each rectangle to the left by 1 unit, would produce a sequence of rectangles whose boundary lies below the curve rather than above it.
This shows that the partial sums of the harmonic series differ from the integral by an amount that is bounded above and below by the unit area of the first rectangle:
<math display=block>\int_1^{N+1}\frac1x\,dx<\sum_{i=1}^N\frac1i<\int_1^{N}\frac1x\,dx+1.</math>
Generalizing this argument, any infinite sum of values of a monotone decreasing positive function {{nowrap|of <math>n</math>}} (like the harmonic series) has partial sums that are within a bounded distance of the values of the corresponding integrals. Therefore, the sum converges if and only if the integral over the same range of the same function converges. When this equivalence is used to check the convergence of a sum by replacing it with an easier integral, it is known as the [[integral test for convergence]].{{r|bressoud}}