Let
- f:[a,b]→R is a bounded function on the compact
interval I=[a,b] with M=supIf and m=infIf.
- P={I1,I2,…,In}
- Mk=supIkf=sup{f(x):x∈[xk−1,xk]}
- mk=infIkf=inf{f(x):x∈[xk−1,xk]}
Upper riemann sum
U(f;P)=k=1∑nMk∣Ik∣
Lower riemann sum
L(f;P)=k=1∑nmk∣Ik∣
mk<Mk⟹L(f;P)≤U(f;P)
When P1,P2 are any 2 partitions of I: L(f;P1)≤U(f;P2)