Deje que En(x):=∑nk=0xkk!En(x):=∑nk=0xkk! para n=0,1,2,…n=0,1,2,… . Demostraremos que En(x)En(x) no tiene verdaderas raíces si nn es parejo, y En(x)En(x) tiene exactamente una raíz real, que es simple, si nn es impar.
Supongamos que nn es parejo. Claramente, En(x)En(x) no tiene raíces en R≥0 . Por el Teorema de Taylor, tenemos exp(x)=En(x)+Rn(x) donde el plazo restante viene dado por Rn(x)=∫x0exp(n+1)(t)n!(x−t)ndt=∫x0exp(t)n!(x−t)ndt. Si x<0 Entonces Rn(x)=−∫|x|0exp(−t)n!|x+t|ndt<0. Eso es, En(x)=exp(x)−Rn(x)>exp(x)>0 para todos x<0 . Eso es, En(x) tampoco tiene raíces negativas; es decir, En(x) no tiene verdaderas raíces.
Si n es impar, entonces E′n(x)=En−1(x) no tiene verdaderas raíces. Por lo tanto, En(x) puede tener como mucho una raíz real, debido al Teorema de Rolle. Claramente, En(x) tiene una raíz real, siendo un polinomio en R[x] de un grado impar. Por consiguiente, En(x) tiene exactamente una raíz real, que es simple.