On a:
.
La première égalité vient de l'expression de en fonction de calculée prcédemment et la deuxième découle de la continuité des dérivées successives de et de la définition de et .
La conlusion découle de la définition de la convergence à l'ordre .