Je vais faire comme dans le corrigé car son énoncé est faux et celui du corrigé marche et nous donne la convergence de (un)
Dans son énoncé, n appartient à N est faux car c'est N*, (un) n'est pas défini en 0. Et puis si c'est avec son énoncé, des l'initialisation on a tout faux. val abs de 1-phi ne peut pas etre inférieur ou égale à (1/phi) val abs de 1-phi car phi = 1,6 et donc 1/phi plus petit que 1 et donc...