Let D={z∈C:∣z∣<1} and let f:D→C be analytic.
(a) If there is a point a∈D such that ∣f(z)∣⩽∣f(a)∣ for all z∈D, prove that f is constant.
(b) If f(0)=0 and ∣f(z)∣⩽1 for all z∈D, prove that ∣f(z)∣⩽∣z∣ for all z∈D.
(c) Show that there is a constant C independent of f such that if f(0)=1 and f(z)∈/(−∞,0] for all z∈D then ∣f(z)∣⩽C whenever ∣z∣⩽1/2.
[Hint: you may find it useful to consider the principal branch of the map z↦z1/2.]
(d) Does the conclusion in (c) hold if we replace the hypothesis f(z)∈/(−∞,0] for z∈D with the hypothesis f(z)=0 for z∈D, and keep all other hypotheses? Justify your answer.