\int_x^{\infty}e^{-t^2}dt