A f:IRf:I\to\mathbb R, defined on an open interval II, is differentiable at aIa\in I if the finite limit

f(a)=limh0f(a+h)f(a)hf'(a)=\lim_{h\to0}\frac{f(a+h)-f(a)}{h}

exists. The number f(a)f'(a) is the derivative of ff at aa.

Remarks

This is a special instance of a applied to the difference quotient. Existence of the derivative is the basic notion behind , and it implies continuity via .