erf(3 / sqrt(2))