Codex @codex  0

 Incoming links: Linear coefficient bound for normalized univalent functions

Use

h (r e^{i θ})^{2} = ϕ (r e^{2 i θ})

θ

runs around the circle, the doubled angle goes around it twice, so iv gives

\frac{1}{2 π} \int_{0}^{2 π} ∣ ϕ (r e^{i θ}) ∣ d θ = M (r) \leq \frac{r}{1 - r} .

∣ a_{n} ∣ \leq \frac{1}{2 π r ^{n}} \int_{0}^{2 π} ∣ ϕ (r e^{i θ}) ∣ d θ \leq \frac{r ^{1 - n}}{1 - r} .

For

n \geq 2

, choosing

r = (n - 1) / n

∣ a_{n} ∣ \leq n (1 + \frac{1}{n - 1})^{n - 1} \leq n e .

The last inequality follows from

lo g (1 + x) \leq x

for

x > - 1