Integration of normal distribution Let $X\sim\text{Norm}(0,1)$ be a random variable which is standard normally distributed. I have an exercise where I need to compute the limit
\begin{equation}
\lim_{x\rightarrow\infty}\frac{x}{\overline{F}_{X}(x)}\int_{x}^{\infty}\overline{F}_{X}(s)ds
\end{equation}
So I know that of course $\overline{F}_{X}(x)=1-F_{X}(x)$, where $F_{X}(x)=\int_{-\infty}^{x}\frac{1}{\sqrt{2\pi}}e^{-\frac{x^{2}}{2}}dx$. Also I know that $F_{X}(-x)=1-F_{X}(x)$. Plugging this into my limit equation would give
\begin{equation}
\lim_{x\rightarrow\infty}\frac{x}{\int_{-\infty}^{-x}\frac{1}{\sqrt{2\pi}}e^{-\frac{x^{2}}{2}}dx}\int_{x}^{\infty}\int_{-\infty}^{-x}\frac{1}{\sqrt{2\pi}}e^{-\frac{s^{2}}{2}}dsdx
\end{equation}
I have been trying to figure out how to solve this for a while now. The best I can come up with is applying L'Hopital's rule twice to remove the integrals but I am not sure if that is simply just allowed. Could someone help me in showing how to start solving this exercise?
 A: Let $Z$ be a Gaussian (0,1) random variable, and denote by $\phi(x)=\frac{e^{-x^2/2}}{\sqrt{2\pi}}$ it’s density.
The following inequalities (see Feller, W, Introduciton to Probability, Vol 1, 1968, Secion 7.1) will be very useful:
$$
\Big(\frac1x-\frac{1}{x^3}\Big)\phi(x)\leq 1-F(x)\leq \frac{1}{x}\phi(x),\qquad x>0
$$
From these inequalities, we have that
$$\frac{x(1-F(x))}{\phi(x)}\xrightarrow{x\rightarrow\infty}1$$

*

*By l'hospital rule $G(x):=\frac{1-F(x)}{x}\sim-\frac{\phi(x)}{1}\xrightarrow{x\rightarrow\infty}0$.

*Also, since $\int^\infty_0(1-F(s))\,ds=\frac{1}{2}\int^\infty_0P(|Z|>s)\,ds=\frac12 E[|Z|]<\infty$, we have that  $H(x):=\int^\infty_x(1-F(s))\,ds\xrightarrow{x\rightarrow\infty}0$.

We will use L'Hospital tule to estimate the desired limit. From
$$\frac{H(x)}{G(x)}\sim \frac{H'(x)}{G'(x)}=\frac{x^2(1-F(x))}{x\phi(x)+(1-F(x))}=\frac{x(1-F(x))\phi^{-1}(x)}{1+(1-F(x))x^{-1}\phi^{-1}(x)},$$
it suffices to check that $\lim_{x\rightarrow\infty}\frac{H'(x)}{G'(x)}$ exists. Since $1-F(x)\xrightarrow{x\rightarrow\infty}0$ and $x\phi(x)\xrightarrow{x\rightarrow\infty}0$,
$$\frac{1-F(x)}{x\phi(x)}\sim\frac{-\phi(x)}{\phi(x)-x^2\phi(x)}=-\frac{1}{1-x^2}\xrightarrow{x\rightarrow\infty}0$$
by l' Hospital rule. Putting things together, we obtain
$$\frac{H'(x)}{G'(x)}=\frac{x(1-F(x))\phi^{-1}(x)}{1+(1-F(x))x^{-1}\phi^{-1}(x)}\xrightarrow{x\rightarrow\infty}1$$
Consequently
$$\frac{x}{1-F(x)}\int^\infty_x (1-F(s))ds = \frac{H(x)}{G(x)}\xrightarrow{x\rightarrow\infty}1$$
A: Define $\phi (x) :=\frac{1}{\sqrt{2\pi}} e^{-x^2/2}$
Based on some standard inequalities for normal distribution, we have that :
$$\lim_{x \rightarrow +\infty} \frac{ \overline{F}(x)}{ \frac{1}{x} \phi (x) }=1$$
So according to L'Hopital's rule, one can imply that :
$$\lim_{x \rightarrow +\infty} \frac{ \int_{x}^{\infty} \overline{F}(s)ds}{ \int_{x}^{\infty} \frac{1}{s} \phi (s)ds }=1$$
So based on two previous limits, the desired limit converges if the following limit converges
$$\lim_{x\rightarrow+\infty} \frac{x^2}{ \phi (x)} \int_{x}^{\infty} \frac{1}{s}\phi(s)ds$$
And this limit is indeed convergent and equal to $1$.
Indeed, we have:
$$\begin{align}
&\lim_{x\rightarrow+\infty} \frac{x^2}{ \phi (x)} \int_{x}^{\infty} \frac{1}{s}\phi(s)ds= \lim_{x\rightarrow+\infty} x^2e^{x^2/2} \int_{x}^{\infty} \frac{1}{s}e^{-s^2/2} ds
\\
&=\lim_{x\rightarrow+\infty} x^2e^{x^2/2} \int_{x^2/2}^{\infty} \frac{1}{2t}e^{-t} dt = \lim_{x\rightarrow+\infty}  \int_{0}^{\infty} \frac{x^2}{x^2+2t}e^{-t} dt
\\
&=1
\end{align}$$
