[math-fun] Integral of Gaussian over sphere