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?