Variante de la récurrence utilisée quand P(n+1)P(n+1)P(n+1) dépend de plusieurs rangs précédents.
Choisissez une approche :
En supposant la propriété aux rangs précédents (double/forte)
Démontrer P(n)P(n)P(n) en supposant P(k)P(k)P(k) pour tout kkk compris entre n0n_0n0 et nnn (ou aux deux derniers rangs).