For real continuous functions on a compact interval with , some in the interval satisfies . If , the weighted average lies between the minimum and maximum of , and the intermediate value theorem supplies . If , the bound makes both sides zero. Nonnegativity of the weight is essential to this argument.
A function on is directly Riemann integrable when its upper and lower sums on an equal-width mesh are absolutely finite and converge to the same finite integral as the mesh width tends to zero. A locally absolutely continuous integrable function with integrable derivative has this property: the upper-minus-lower sum is bounded by mesh width times its total variation. The derivative bound therefore gives bounded variation as well as tail control. This stronger form of integrability is a hypothesis of the key renewal theorem.
An improper integral is defined by taking a limit when an integration endpoint is infinite or the integrand is unbounded. Its convergence must be established before ordinary integral manipulations are applied.
A logarithmic divergence grows like a logarithm as a cutoff is removed. For example as . An integrand near zero gives . This behavior distinguishes logarithmic sensitivity to an infrared or ultraviolet cutoff from power-law divergence.
If Riemann-integrable functions satisfy throughout , thenThis follows directly by comparing their lower and upper Darboux sums, or their Riemann sums on a common sequence of refining partitions.
Articles by others on the same topic
The easy and less generic integral. The harder one is the Lebesgue integral.