1-erf[5/Sqrt[2]]