On définit une suite par et pour tout naturel , .
1
Calculer les cinq premiers termes de la suite;
2
Montrer par récurrence que pour tout , ;
3
Montrer par récurrence forte que pour tout , ;
4
Tenter de montrer par une récurrence similaire à la précédente que pour tout , . À quel endroit ceci échoue-t-il ? Pourquoi est-il heureux que cela échoue ?