Lebedev–Milin inequality

In mathematics, the Lebedev–Milin inequality is any of several inequalities for the coefficients of the exponential of a power series, found by Lebedev and Milin (1965) and Isaak Moiseevich Milin (1977). It was used in the proof of the Bieberbach conjecture, as it shows that the Milin conjecture implies the Robertson conjecture.

They state that if

for complex numbers β_k and α_k, and n is a positive integer, then

See also exponential formula (on exponentiation of power series).