integral of (2*pi)^(-1/2)*exp(-x^2/2) from -infinity to 0.3*sqrt(19)/0.62