Theorem. Let , and let be bounded on . If is a partition of and is a refinement of , then .
Proof. By definition, and . In the refinement , we are "throwing" extra points in . If we sample exactly the same points from each partition, there will be equality. However, if we sample different points, and will have larger values for .
Is this correct?