1/integral[exp[-x^2/2]/√(2π),{x,4,∞}]