Bonjour,
Je bloque sur l'exo suivant:
Soit une application strictement croissante, c'est a dire que:
Montrer par recurrence que:
Alors, l'initialisation, c'est bon (c'etait pas bien dur^^) mais pour l'heredite je n'y arrive pas.
Merci d'avance
-----