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,