Prueba $\int_t^{\infty} e^{-x^2/2}\,dx > e^{-t^2/2}\left(\frac{1}{t} - \frac{1}{t^3}\right)$

Question

Cómo demostrar formalmente la siguiente desigualdad -

$$\int_t^{\infty} e^{-x^2/2}\,dx > e^{-t^2/2}\left(\frac{1}{t} - \frac{1}{t^3}\right)$$

Answer 1

Para un mejor límite inferior puedes usar la siguiente prueba de @robjohn:

$$x\int_x^\infty e^{-t^2/2}\,\mathrm{d}t \le \int_x^\infty e^{-t^2/2}\,t\,\mathrm{d}t =e^{-x^2/2}$$

Integrar ambos lados de lo anterior:

$$ \begin{align} \int_s^\infty e^{-x^2/2}\,\mathrm{d}x &\ge\int_s^\infty x\int_x^\infty e^{-t^2/2}\,\mathrm{d}t\,\mathrm{d}x\\ &=\int_s^\infty\int_s^txe^{-t^2/2}\,\mathrm{d}x\,\mathrm{d}t\\ &=\int_s^\infty\frac12(t^2-s^2)e^{-t^2/2}\,\mathrm{d}t\\ \left(1+\frac12s^2\right)\int_s^\infty e^{-x^2/2}\,\mathrm{d}x &\ge\frac12\int_s^\infty t^2e^{-t^2/2}\,\mathrm{d}t\\ &=-\frac12\int_s^\infty t\,\mathrm{d}e^{-t^2/2}\\ &=\frac12se^{-s^2/2}+\frac12\int_s^\infty e^{-t^2/2}\,\mathrm{d}t\\ \left(s+\frac1s\right)\int_s^\infty e^{-x^2/2}\,\mathrm{d}x &\ge e^{-s^2/2} \end{align} $$

y observe que $\displaystyle \left(s+\frac{1}{s}\right)^{-1} = \frac{s}{1+s^2} > \frac{1}{s} - \frac{1}{s^3}$ para $s > 0$ ,

lo que equivale a $\displaystyle s^4 > s^4 - 1$ .

---

Expalanación para la integarción por partes:

\begin{align*} &\int_x^{\infty} e^{-t^2/2} \mathrm dt\\ =& \int_x^{\infty} \color{red}{\frac{1}{t}} .\color{blue}{te^{-t^2/2}} \mathrm dt\\ =& \left[\color{red}{\frac{1}{t}} .\int\color{blue}{te^{-t^2/2}}\,dt\right]_x^{\infty} - \int_x^{\infty} \left( \color{red}{\frac{1}{t}} \right )' \left (\int\color{blue}{te^{-t^2/2}}\,dt\right)\mathrm dt\\ =& \frac{e^{-x^2/2}}{x} - \int_x^{\infty} \frac{e^{-t^2/2}}{t^2} \mathrm dt. \end{align*}

Ahora, para la segunda integral que obtuvimos en la línea anterior empleamos una idea similar a la realizada anteriormente:

\begin{align*} &\int_x^{\infty} \frac{e^{-t^2/2}}{t^2} \mathrm dt\\ =& \int_x^{\infty} \color{red}{\frac{1}{t^3}} .\color{blue}{te^{-t^2/2}} \mathrm dt\\ =& \left[\color{red}{\frac{1}{t^3}} .\int\color{blue}{te^{-t^2/2}}\,dt\right]_x^{\infty} - \int_x^{\infty} \left( \color{red}{\frac{1}{t^3}} \right )' \left (\int\color{blue}{te^{-t^2/2}}\,dt\right)\mathrm dt\\ =& \frac{e^{-x^2/2}}{x^3} -3 \int_x^{\infty} \frac{e^{-t^2/2}}{t^4} \mathrm dt. \end{align*}

Combinando todo esto tenemos $$\int_x^{\infty} e^{-t^2/2} = e^{-x^2/2}\left(\frac{1}{x} - \frac{1}{x^3}\right)+3 \int_x^{\infty} \frac{e^{-t^2/2}}{t^4} \mathrm dt$$

Ya que, el integrando $\dfrac{e^{-t^2/2}}{t^4}$ es siempre positivo, obtenemos la desigualdad deseada:

$$\int_x^{\infty} e^{-t^2/2} > e^{-x^2/2}\left(\frac{1}{x} - \frac{1}{x^3}\right)$$