Et tu peux voir ça comme une définition.
Si il existe espilon et une constante L tq pour tout h,
f(a+h)=f(a)+L.h+h*eps(h) avec esp(h)->0 quand h->0 alors f est dérivable en a, c'est tout.
Et on arrive à montrer que c'est équivalent au fait que (f(a+h)-f(a))/h admette une limite en 0.