integrate 2x/(sqrt(2pi))e^(-x^2/2) from 0 to infinity