La grande difficulté (en tout cas pour moi), c'est de conjecturer la limite (qui doit vérifier la fameuse formule
![](https://latex.ilemaths.net/ile_TEX.cgi?f(x)\!=\!\sqrt{x+f\big(\frac16(x^2\!-12x+42)\big)})
mais il y a des tas de fonctions qui vérifient ça).
Pour x entre 0 et 12 tu as trouvé toi même la formule. Pour x>12, je l'ai trouvé en faisant l'hypothèse qu'au voisinage de l'infini f(x) admet un développement asymptotique en
![](https://latex.ilemaths.net/ile_TEX.cgi?\sqrt{x})
et en cherchant (par identification) les coefficients.
Ensuite, pour prouver que la suite (fn) converge bien vers ce qu'on a conjecturé, il faut montrer que la fonction conjecturée est un majorant des fn (ce qui la plupart du temps est facile) et trouver un minorant variable (i.e. dépendant de n) de fn qui va tendre vers la fonction conjecturée. Et pour trouver un tel minorant, si par exemple la fonction conjecturée est de la forme
![](https://latex.ilemaths.net/ile_TEX.cgi?\alpha x+\beta)
, tu regarde pour quels a,b,A,B l' implications f_n>ax+b => f_{n+1}>Ax+B est vrai (sur ton domaine d'étude) et tu avise en fonction de ce que tu trouve.