Bonsoir,
Je bloque sur une partie d'un exo nous demandant de d'appliquer le raisonnement par récurrence sur un produit:
Pour tout n>=1,
j'ai du mal au niveau de l'hérédité j'ai beau essayé je ne tombe jamais sur le résultat escompté
J'aimerais bien un grand coups de main
-----