Démontrer que pour tout entier .
Démontrer que pour tout entier .
Initialisation : pour , et . On a . \checkmark
H.R. : supposons que pour un certain , on a .
Hérédité : montrons que . On a (car implique ).
Conclusion : par le principe de récurrence, pour tout .
pour tout .
Les applications suivantes et la correction guidée sont réservées aux membres Premium
La méthode et sa première application corrigée restent en accès libre. Le Premium débloque les applications suivantes, l'aide IA et le suivi de ta maîtrise.