For step functions defined on an interval
, prove
Proof. Let be a partition of
such that
is constant on the open subintervals of
(we know such a
exists since we can take the common refinement of the partition of
on which
and
individually are constant on open subintervals). Let
if
for
. Then, working from the definition of the integral of a step function on an interval, we have