8
$\begingroup$

My advisor told me to look up the proof of the following standard estimate so that we can adapt it to the case where we are dealing with something similar but including the addition of a polynomial integrand.

I have yet to find a reference containing the proof and was wondering what the reference was or if someone knew a quick way to prove the following estimate:

How do you show $\exists c > 0$ so that $\int_u^\infty \exp(-z^2)\;\mathrm dz < \frac{c}{u} \exp{(-u^2)}$?

  • 0
    Dear Mariano: As requested by @J.M. above, I have added this question also to the faq list. Actually, the answer in the comment by Andre' Nicolas and Chris Taylor's answer here are essentially the same as those given for the other question, and Henry's answer is also closely related. May I suggest that the moderators simply merge the two questions so that there is only one entry in the faq for this topic? Another point: maybe the faq entry should be for probability rather than statistics to match the tags here2011-10-20

2 Answers 2

4

The obvious thing to do is take the derivative with respect to $u$ of $-\frac{c}{u} \exp{(-u^2)}$ which is $c\left(2+\frac{1}{u^2}\right) \exp{(-u^2)}$.

So if $u \gt 0$ and $c \ge \frac{1}{2}$ then $c \left(2+\frac{1}{u^2}\right) \gt 1$ and $c\left(2+\frac{1}{x^2}\right) \gt 1$ for $x \ge u$ so

$\int_{u}^{\infty} \exp{(-x^2)} dx \lt \int_{u}^{\infty} c\left(2+\frac{1}{x^2}\right) \exp{(-x^2)} dx = \left[-\frac{c}{x} \exp{(-x^2)}\right]_{x=u}^\infty = \frac{c}{u} \exp{(-u^2)}.$

11

Note that

$\int_u^\infty e^{-z^2}dz \leq \int_u^\infty \frac{z}{u} e^{-z^2}dz = \left[ -\frac{1}{2u}e^{-z^2}\right]_u^\infty = \frac{1}{2u} e^{-u^2}$

In particular, $c=1/2$ suffices.

  • 0
    I like this proof.2011-10-21