Ça marche

On peut aussi le rédiger sans récurrence :
• Si

est pair, alors

admet un minimum (facile à montrer), disons en

. Alors
=P_{n-1}(m)=0)
et

(car
=1)
) Dès lors,
=P_{n-1}(m)+\dfrac{m^{n}}{n!}=\dfrac{m^{n}}{n!}>0)
car

est pair.
Ainsi

est strictement positive, et en particulier ne s'annule jamais.
• Si

est impair, alors

est strictement positive d'après le point précédent. Ainsi

est strictement croissante, donc l'équation
=0)
admet une unique solution réelle d'après le théorème des valeurs intermédiaires.