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!