Regularity of a power times a function with a simple zero

ID: regularity-of-a-power-times-a-function-with-a-simple-zero

Suppose is differentiable at zero, and . Since , the displayed function satisfies near zero. It is a continuous function at zero exactly when . Its difference quotient is , so it has a finite derivative there exactly when : the value is for and zero for . The nonzero-slope assumption is essential; a higher-order zero would change both thresholds.

New to topics? Read the docs here!