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