Derivative growth outside a finite-measure set
ID: derivative-growth-outside-a-finite-measure-set
For a nonnegative increasing continuously differentiable function not identically zero, choose with . On , . Thus . Adding the finite initial interval controls all exceptions. For the zero function there are none. Taking logarithms turns derivative growth into logarithmic auxiliary-function growth in value-distribution estimates.
New to topics? Read the docs here!