3/sqrt pi -12/pi int_0^infty (e^(-2x^2) erfc(x) ) dx