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.
Articles by others on the same topic
There are currently no matching articles.