Résolution d'une inéquation

[patoch]

Bonjour,
je dois démontrer que
Pn: e^x >= x^n / n! pour tout x appartient ]0;+inf[ où n! = n * (n-1)*(n-2)...*2*1

Je sais que Pn vraie => Pn+1 vraie pour tout n>=n0

A la fin, après des calculs, je trouve qu'il faut démontrer que "n+1 > x", je dois avoir une erreur ? Si non comment faire la suite ?

Comment faire ?
Merci !