Integrated zero count ($N_f(R)={\int }_0^R\frac{n_f(t)}{t}dt$)

Under the hypotheses of Jensen's formula, $f(0)\ne 0$ ensures that the radial zero-counting function vanishes for sufficiently small positive $t$. Integrating each zero's contribution separately givesThe values of $n_f$ at its finitely many jump points do not change the integral. For $0<r<R$, every zero in the smaller open disc supplies at least $\log (R/r)$ per unit of multiplicity of a zero, soThe second inequality bounds the circle log-mean of a holomorphic function by the logarithm of the largest boundary complex modulus, recovering the Jensen zero-count bound. An upper bound on boundary growth and a fixed nonzero centre value therefore constrain interior zeros. The factor $\log (R/r)$ also explains why the same estimate becomes weaker as the smaller radius approaches the boundary.