integral_0^(10/3) (exp(-x^2/2))/sqrt(2 pi) dx