Jensen's Formula

Theorem
Let $S$ be an open subset of the complex plane containing the closed disk:
 * $D_r = \set {z \in \C : \cmod z \le r}$

of radius $r$ about $0$.

Let $f: S \to \C$ be holomorphic on $S$.

Let $f$ have no zeroes on the circle $\cmod z = r$.

Let $\map f 0 \ne 0$.

Let $\rho_1, \ldots, \rho_n$ be the zeroes of $f$ in $D_r$, counted with multiplicity.

Then:
 * $(1): \quad \displaystyle \frac 1 {2 \pi} \int_0^{2 \pi} \ln \cmod {\map f {r e^{i \theta} } } \rd \theta = \ln \cmod {\map f 0} + \sum_{k \mathop = 1}^n \paren {\ln r - \ln \size {\rho_k} }$