1. **Énoncer la propriété à démontrer** : On commence par définir clairement la propriété $P(n)$ que l'on souhaite prouver pour tout entier naturel $n \geq n_0$. 2. **Initialisation** : On vérifie que la propriété $P(n_0)$ est vraie pour la première valeur de départ $n_0$. Cela sert de base à la récurrence. 3. **Hérédité** : On suppose que la propriété $P(k)$ est vraie pour un certain $k \geq n_0$ (hypothèse de récurrence), puis on démontre que cela implique que $P(k+1)$ est aussi vraie. Ainsi, par le principe de récurrence, la propriété est vraie pour tout $n \geq n_0$.