integral [0,inf] 4/sqrt(2*pi)*y^(3/2)*exp(-y*(x^2/2+2)) dy