Cette méthode consiste à construire infiniment à partir d'une solution une autre mais de plus petite valeur, c'est à dire pour ton exercice, si a est une telle solution,tu construis une autre a' plus petite qui est aussi une solution. Sauf qu'en travaillant dans IN, à un moment donné il faut s'arrêter, car les suites décroissantes dans IN sont minorées par 0, alors si tu parviens à montrer qu'après chaque construction ta solution est encore solution et de petite valeur, tu aboutis à une contradiction. J'espère que c'est claire.