The improper integral is assumed to have a finite limit. Fix and put . Convergence implies and as . By monotonicity,
and
Thus
Both outer bounds tend to one as , giving . This monotone integral Tauberian lemma uses monotonicity to control the value at a point from integral averages on adjacent multiplicative intervals; convergence of the integral alone would not control arbitrary local spikes.