 Monotone substitution inequality

For a nondecreasing real function $z$ on an interval $I$ and nonnegative measurable function $h$,The pushforward of $z^{\prime }(u)du$ is dominated by Lebesgue measure: on each interval, the integral of the derivative is at most the increase of $z$. This handles jumps and singular parts without a smoothness assumption.