series expansion erf(x) near infinity