Mener un raisonnement par récurrence avec des inégalités.