Math Stat Quiz 20090805-01

August 5, 2009

Prove:
$\int_{\mathbb R}2\phi(x)\int_{-\infty}^{\alpha x}\phi(t)dt dx = 1$
where real number $\alpha >0$ and $\phi(\cdot)$ is the standard normal p.d.f.