Exponential bound for a lower-sum product

ID: exponential-bound-for-a-lower-sum-product

For a nonnegative Riemann-integrable function and an interval partition,
Every factor is nonnegative, so multiplication of is legitimate. The final step uses the lower-sum bound on the Riemann integral.

New to topics? Read the docs here!