Let S denote the customary class of normalized univalent functions
from the unit disk into . When Bieberbach [Sitzungsber. Preuß. Akad. Wiss. 1916, 940–955 (1916; JFM 46.0552.01)] proved that and equality only holds for the Koebe function
and its rotations , , he conjectured that for all n. In 1936 M. S. Robertson [Bull. Am. Math. Soc. 42, 366–370 (1936; Zbl 0014.40702)] conjectured that the odd functions
of S satisfy the inequalities
This conjecture implies the Bieberbach inequalities and what is known as Rogosinski’s conjecture saying that a function which is holomorphic in and subordinate to a function of S satisfies the inequalities , . The expansion
defines the logarithmic coefficients of a function in S. I. M. Milin [”Univalent functions and orthonormal systems” (1971; Zbl 0228.30011)] conjectured that
for all . and all f in S. By an inequality of Lebedev-Milin this implies Robertson’s, hence Rogosinski’s and Bieberbach’s conjecture.
Now, in the early spring of 1984, L. de Branges [Preprint E-5-84, Leningrad Branch of the V. A. Steklov Mathematical Institute (1984)] proved Milin’s conjecture to hold true and the equality sign in (*) to appear only for Koebe functions. By this the four problems mentioned above were settled at once. The proof presented in this paper is based on the theory of Loewner chains, the de Branges’ system of differential equations for the weight functions and the related theory of square summable power series, and a theorem of R. Askey and G. Gasper [Am. J. Math. 98, 709–737 (1976; Zbl 0355.33005)] on positive sums of Jacobi polynomials.