wichtige Aussage in der Funktionentheorie, die wie folgt lautet:

Es sei f eine im Kreisring\begin{eqnarray}\{z\in\mathbb{C}:R_{1}<\vert z\vert \lt R_{2}\}\end{eqnarray}mit 0 ≤ R₁< R₂ ≤ ∞ holomorphe Funktion. Für R₁< r< R₂sei M(r) := max|_z|=_r |f (z)|.

Dann gilt für R₁< r₁ ≤ r ≤ r₂< R₂die Ungleichung\begin{eqnarray}\log M(r)\leq & \frac{\log r_{2}-\log r}{\log r_{2}-\log r_{1}}\log M(r_{1})\\ & + \frac{\log r-\log r_{1}}{\log r_{2}-\log r_{1}}\log M(r_{2}).\end{eqnarray}

Anders ausgedrückt bedeutet dies, daß log M(r) eine konvexe Funktion von log r ist.

Eine äquivalente Formulierung lautet \begin{eqnarray}\det\begin{pmatrix}\log M(r) & \log r & 1\\ \log M(r_{1}) & \log r_{1} & 1\\ \log M(r_{2}) & \log r_{1} & 1 \end{pmatrix}\geq 0.\end{eqnarray}