# Jensen's Inequality (Complex Analysis)

This proof is about Jensen's Inequality in the context of Complex Analysis. For other uses, see Jensen's Inequality.

## Theorem

Let $D \subset \C$ be an open set with $0 \in D$.

Let $R > 0$ be such that $\map B {0, R} \subset D$.

Let $f: D \to \C$ be analytic with $\map f 0 \ne 0$.

Let $\cmod {\map f z} \le M$ for $\cmod z \le R$.

Let $0 < r <R$.

Then the number of zeroes of $f$, counted with multiplicity, for $\cmod z \le r$, is at most:

$\dfrac {\map \log {M / \cmod {\map f 0} } } {\map \log {R / r} }$

## Source of Name

This entry was named for Johan Jensen.