integral of erf(x) dx from x=0 to infinity