Méthode fondamentale pour démontrer une propriété dépendant d'un entier n∈Nn \in \mathbb{N}n∈N.
Choisissez une approche :
En vérifiant l'initialisation et l'hérédité
Démontrer ∀n≥n0, P(n)\forall n \geq n_0,\ P(n)∀n≥n0, P(n) en prouvant P(n0)P(n_0)P(n0) puis P(n)⇒P(n+1)P(n) \Rightarrow P(n+1)P(n)⇒P(n+1).