21.9 Differentiability at a point

A function f(x) is said to be differntiable or derivable at x+c,
iff lim (x→c) [f(x)-f(c)/(x-c)] exists finitely.