[math-fun] Geometric mean over a circle of complex numbers