I=\int_{\frac{1}{\sqrt{2}}}^{\infty } e^{-t^2} \, dt