1. Une propriété est définie pour les entiers naturels . Quelles conditions permettent de conclure qu’elle est vraie pour tout entier naturel ?
Vérifier $$P(n_0)$$ et montrer que, pour tout $$n e2 4 n_0$$, $$P(n)$$ implique $$P(n+1)$$.
Explication
L’initialisation en et l’hérédité de à assurent la vérité de la propriété à tous les rangs à partir de . Commencer par ne convient pas nécessairement lorsque le rang de départ est .