Об одном неравенстве

Доказывается, что если $f(z)=\sum_{k=-\infty}^{k=+\infty}a_kz^k$ ряд Лорана, сходящийся в кольце $\{r<|z|<R\}$, $\Gamma$ – жорданов контур в этом кольце, охватывающий круг $\{|z|\le r\}$, то для любого целого $n$ найдется точка $z\in\Gamma$, в которой неравенство
$$ |f(z)|\le\biggl|\sum_{k\le n}a_kz^k\biggr|+\biggl|\sum_{k\le{n+1}}a_kz^k\biggr| $$
обращается в равенство, а также другая точка $z\in\Gamma$, в которой это неравенство – строгое (за исключением тривиальных случаев).
Библиогр. 1.