 Lebesgue theorem on differentiability of monotone functions

Every real-valued monotone function on a real interval is differentiable with a finite derivative at almost every point.

This strengthens the regularity known for a monotonic function beyond the restriction on its jump discontinuities.