Lemma. Let , and suppose that is bounded on . Let be a partition of , and let . Then there exist Riemann sums and such that and .
Proof. By definition, and . Now and . Let . Then there exists such that .
Thus . If we choose as the test points, then it follows that . The other case follows similarly.
Is this correct?