WolframAlpha computational knowledge AI
(1 - erf(5.3333/sqrt2))/2