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 .