Suppose that f is an analytic function on the open unit disk and $\lvert f(z) \rvert \geq \sqrt{\lvert z \rvert}$ for all z on the unit disk. Show that $\lvert f(z) \rvert \geq 1$ on the unit disk.
We can write it down as
$\frac{\vert z \rvert}{(\lvert f(z) \vert)^2} \leq 1$,
provided that $f(0) \not= 0$. We know that f cannot be zero for other values since otherwise it would contradict the inequality in the supposition. The above function is holomorphic and is equal to zero at zero, again provided that f is not zero at zero. Thus, we can apply the Schwarz lemma and the result follows. Now, if f is zero is at zero then this argument does not work and I do not know how to handle that case separately, if there is any way. Thanks for your help.
Best Answer
It becomes a bit simpler if you consider the function $h(z) = z/f(z)$ instead of $z/f(z)^2$. $h$ is holomorphic in the punctured unit disk $\Bbb D \setminus \{ 0 \}$ with $$ |h(z)| \le \sqrt{|z|} \le 1 \, . $$ It follows that $h$ has a removable singularity at the origin, and the extended function $h:\Bbb D \to \overline {\Bbb D}$ satisfies $h(0) = 0$.
So by the Schwarz Lemma, $|h(z)| \le |z|$, and that implies $|f(z)| \ge 1$.