The normalized quantum harmonic oscillator ground state has and energy . Its classical turning points are . With , the ground-state oscillator probability beyond the turning points is
The stated rounded error function gives ; the more precise Gaussian integral is .