For step functions for every prove that

* Proof. * Let be a partition of such that and are constant on the open subintervals of (such a partition exists since we can take the common refinement of partitions on which and are constant on open subintervals). Then, assume if . From the definition of integrals of step functions, we have

Then, (since for every ), which implies,