Bonjour à tous!!! J'aurais besoin d'aide sur ce problème:
pour tout m de N*, tout n de N*
m^n>=1+n(m-1)
il est dit dans le problème que l'on peut raisonner par récurrence simple sur n dans N*
Voici ce que j'ai réussi à faire:
initialisation pour n=1
m>=m ce qui est exact
hérédité
on suppose vrai pour n
(m^n)m>=m(1+n(m-1))
m^(n+1)>=m+mn(m-1)
m^(n+1)>=m+m²n-mn
or 1+(n+1)(m-1)=1+nm-n+m-1
je suis complètement bloqué
avec mes remerciements
-----
