1/pi (integrate from -infinity to -1 1/t e^(-t^2/2) dt)