Explain geometrically why a series Σ f(n) and the improper integral ∫₁^∞ f(x)dx share the same convergence behavior when f is positive, continuous, and decreasing.
Think about your answer, then reveal below.
Model answer: Draw the graph of f and place rectangles of width 1 over each integer n, with height f(n). Because f is decreasing, each rectangle on [n, n+1] with height f(n) lies above the curve, making the series an overestimate of the integral: ∫₁^∞ f(x)dx ≤ Σ_{n=1}^∞ f(n). Using heights f(n+1) instead gives rectangles below the curve: Σ_{n=2}^∞ f(n) ≤ ∫₁^∞ f(x)dx. These two inequalities sandwich the integral between two shifted versions of the series, showing they differ by at most a finite amount (f(1)). Therefore, if one diverges to infinity, the other must too; if one is bounded, the other is as well.
The decreasing condition is essential: it ensures the rectangle at n lies consistently above (or below) the curve on [n, n+1], giving a one-sided bound. Without monotone decrease, the rectangle could cross the curve, and you could no longer bound the series from one side by the integral. This is why 'eventually decreasing' is sufficient — behavior at finitely many early terms contributes only a finite amount and cannot affect convergence.