Comme f et f' sont positives sur [0;\pi], la suite \left\lbrace u_n \right\rbrace est effectivement décroissante tant que les valeurs de la suite restent dans l'intervalle [0;\pi]. D'autre part, en remarquant que le point de l'axe des abscisses d'abscisse u_{n+1} est l'intersection de la tangente au point d'abscisse u_n à la courbe représentative de f avec l'axe des abscisses, on en déduit que f(u_{n+1})>0 puisque la tangente est en-dessous de la courbe représentative de f. Comme f est croissante et que f(r)=0 on a bien u_{n+1}\ge r.