Circle log-mean of a holomorphic function (source code)

= Circle log-mean of a holomorphic function
{title2=$L_f(R)=\frac{1}{2\pi}\int_0^{2\pi}\log|f(Re^{i\theta})|\,d\theta$}

Under the hypotheses of <Jensen's formula>, the circle log-mean is the angular average of the natural <logarithm> of the <complex modulus>. The factor $1/(2\pi)$ normalizes the <integral> to a mean. It averages values at equally weighted angles on the <circle>, and <Jensen's formula> computes it from $|f(0)|$ and the interior <zeros of a function>.