Maths WorkshopMaths problems with full solutions
Exercise 76Calculus › Single-variable calculus › Integration › Riemann integralL1Added 5 Nov 2026

A monotone function on a fine grid

#monotone functions#Riemann integrability#step approximation

Statement

Let f:[a,b]→Rf:[a,b]\to\mathbb{R} be monotone (say nondecreasing). Show that for every ε>0\varepsilon>0 there exist step functions φ≤f≤ψ\varphi\le f\le\psi with ∫(ψ−φ)<ε\int(\psi-\varphi)<\varepsilon.

Hint

Take a subdivision with small mesh η\eta; define φ\varphi and ψ\psi constant on each interval with values f(xk−1)f(x_{k-1}) and f(xk)f(x_k).

Show solutionHide solution

Solution

Subdivision. Since ff is bounded (being monotone on a compact interval), let M=f(b)−f(a)M=f(b)-f(a). Choose a subdivision σ={a=x0<⋯<xn=b}\sigma=\{a=x_0<\cdots<x_n=b\} with max⁡kΔk<ε/M\max_k\Delta_k<\varepsilon/M.

Step functions. Define φ(x)=f(xk−1)\varphi(x)=f(x_{k-1}) and ψ(x)=f(xk)\psi(x)=f(x_k) on ]xk−1,xk[]x_{k-1},x_k[, with arbitrary values at the points xkx_k. Monotonicity ensures φ≤f≤ψ\varphi\le f\le\psi.

Integral difference.
∫ab(ψ−φ)=∑k(f(xk)−f(xk−1))Δk<η∑k(f(xk)−f(xk−1))=η⋅M<ε.\int_a^b(\psi-\varphi)=\sum_k(f(x_k)-f(x_{k-1}))\Delta_k<\eta\sum_k(f(x_k)-f(x_{k-1}))=\eta\cdot M<\varepsilon.

Conclusion. ff is Riemann integrable (by the squeeze criterion).