Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Question: Let $f$ be an analytic function in the unit disc $D={z\in C: |z|<1}$. Consider a point $z_0\in D$. Show that there must be a positive integer n such that the n-th derivative of $f$ at $z_0$ satisfies $|f^{(n)}(z_0)| \leq n!n^n$.

Thoughts so far: In class, we discussed power series and their usefulness in proving a variety of facts of complex analysis. Just by rearranging the inequality we see that $\frac{|f^{(n)}(z_0)|}{n!} \leq n^n$. Clearly $\frac{|f^{(n)}(z_0)|}{n!}$ is a term of the Taylor series expansion for $f(z)$, but the $n^n$ term is annoying the royal bananas out of me as I cannot think of a way to get that. I am considering using the ratio ($\lim_{n\to\infty} \frac{\frac{f^{(n)}(z_0)}{n!}}{\frac{f^{(n-1)}(z_0)}{(n-1)!}} = \lim_{n\to \infty} \frac{f^{(n)}(z_0)}{nf^{n-1}(z_0)} \leq 1 \implies \lim_{n\to\infty} \frac{f^{(n)}(z_0)}{f^{n-1}(z_0)} \leq n$) or n root test ($\lim_{n\to\infty} \sqrt[n]{\frac{f^{(n)}(z_0)}{n!}} \leq 1$) for convergence since analyticity implies convergence of the series, but I cannot seem to coax the $n^n$ out of any of my attempts. Also, I am uncertain whether I am using the notion of analyticity and power series correctly.

Thank you in advance for any help that you may provide.

share|cite|improve this question
Why are you talking about $n^2$ when the inequality you have to prove (for some $n$) is $|f^{(n)}(z_0)| \le n! n^n$? – Niccolò Oct 20 '12 at 22:57
That was an unfortunate typo. Thank you for pointing it out. Should be fixed now. – ABC Bach Oct 20 '12 at 23:47
There's still an 'n^n' that needs to be converted to math type. :) – Haskell Curry Oct 20 '12 at 23:56
up vote 3 down vote accepted

According to Cauchy's estimates, if $ f $ is a holomorphic function on $ D(a;R) $ and $ |f(z)| \leq M $ for all $ z \in D(a;R) $, then $$ \forall n \in \mathbb{N}: \quad |{f^{(n)}}(a)| \leq \frac{n! M}{R^{n}}. $$ Now, let $ z_{0} \in D(0;1) $. Choose $ R > 0 $ small enough so that $ D(z_{0};R) \subseteq D(0;1 - \epsilon) $ for some $ \epsilon \in (0,1) $. This guarantees that the given $ f $ is bounded on $ D(z_{0};R) $. Hence, suppose that $ |f(z)| \leq M $ for all $ z \in D(z_{0};R) $. Choose $ n \in \mathbb{N} $ large enough so that $ M \leq (nR)^{n} $. Then by Cauchy's estimates, $$ |{f^{(n)}}(z_{0})| \leq \frac{n! M}{R^{n}} \leq n! M \cdot \frac{n^{n}}{M} = n! n^{n}. $$ I hope that this works.

share|cite|improve this answer
Thank you for your response. Quite an elegant answer. – ABC Bach Oct 21 '12 at 0:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.