Primeiro traduzimos a hipótese na linguagem dos limites ...
Dizer que f é diferenciável em um ponto

implica em dizer que o limite

existe e uma notação para designar esta afirmação é

.
Agora note que desejamos computar o limite

. Nosso objetivo é escrever

como

(tal que

existe ) para que possamos aplicar a regra operatória do produto (vide livros de cálculo 1) .
Utilizando que

, nós temos que

(estar implícito a positividade de

) (*) .
Como sugerir ... ( no primeiro membro estamos multiplicando por uma quantidade não nula e dividindo pela mesma quantidade , estamos trabalhando com x mt próximo de a , mas differente de a ; no segundo membro usamos o resultado marcado por (*) ) o limite desejado equivale a calcular o seguinte limite

.
Tendo em conta que ambos limites abaixo existem ,

(hipótese )

, então podemos aplicar a regra operatória do produto para obter

.