On the Boundary Dieudonné–Pick Lemma

The class of holomorphic self-maps of a disk with a boundary fixed point is studied. For this class of functions, the famous Julia–Carathéodory theorem gives a sharp estimate of the angular derivative at the boundary fixed point in terms of the image of the interior point. In the case when additional information about the value of the derivative at the interior point is known, a sharp estimate of the angular derivative at the boundary fixed point is obtained. As a consequence, the sharpness of the boundary Dieudonné–Pick lemma is established and the class of the extremal functions is identified. An unimprovable strengthening of the Osserman general boundary lemma is also obtained.