Une propriété des valeurs moyennes d'une fonction analytique. (Q2591144)

Es wird folgender Satz bewiesen: ``Ist \(f(z)\) in \(|z|<1\) analytisch, \(f(0) = 0\) und \[ \int\limits _0^1 |f(re^{i\varphi })|\,dr \leqq 1\;\;\text{für}\;\;\;0\leqq \varphi\leqq 2\pi, \] so ist \[ \mu (r,f)=\frac {1}{2\pi } \int\limits _0^{2\pi } |f(re^{i\varphi })|\,d\varphi \leqq 1 \] für \(r\leqq\frac {1}{2}\). Der Wert \(\frac {1}{2}\) darf hierbei durch keinen größeren ersetzt werden, wie das Beispiel \(f(z) = 2z\) zeigt.'' Der Satz gilt auch noch für \(f(0)\neq 0\), sofern dann \(f(z)\) in \(|z|<1\) überhaupt nicht verschwindet.