integrate (1/\sqrt(2*pi*t^2)) x exp(-x^2/2t^2) from 0 to infinity