 Direct Riemann integrability

A function $g$ on $[0,\infty )$ 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.