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