1 - 1/2 erfc(-(88 sqrt(2))/15)