[math-fun] sqrt(pi)