« Approfondissements de lycée/Démonstrations » : différence entre les versions

Contenu supprimé Contenu ajouté
→‎Axiomes et inférence : correction mineure
Ligne 69 :
:(k + 1)*k! > (k+1)*2<sup>k</sup>
Comme ''k'' est supérieur à 1, on sait que ''k + 1'' est supérieur à 2, et donc
: (k + 1)*2<sup>k</sup>! > 2<sup>k + 1</sup>
Par transivité, on a donc:
:(k + 1)*k! > 2<sup>k + 1</sup>