Lebesgue theorem on differentiability of monotone functions
= Lebesgue theorem on differentiability of monotone functions
{c}
Every real-valued <monotone function> on a <real interval> is <differentiable function>[differentiable] with a finite <derivative> at <almost everywhere>[almost every] point.
This strengthens the regularity known for a <monotonic function> beyond the restriction on its jump discontinuities.