integral (1/sqrt(2*Pi)) exp(-x^2/2) from -infinity to -sqrt(3)