1/(1-erf(8/(sqrt 2))