1. Quelle condition permet de conclure qu’une propriété est vraie pour tout entier n ≥ n₀ par récurrence ?
Elle est vraie au rang n₀ et sa vérité au rang n implique celle au rang n + 1 pour tout n ≥ n₀.
Explication
La récurrence repose sur une propriété vraie au rang initial et sur une implication de chaque rang au suivant. Une implication du rang suivant vers le rang précédent ne permet pas de propager la propriété à tous les rangs supérieurs.