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!