Démontrer par récurrence la monotonie d'une suite