1-erf(3/sqrt(2))