Originally Posted by

**slevvio** Let f be analytic on an open disc $\displaystyle D(z_0, R)$. If $\displaystyle r<R$, then f is bounded on the circle |$\displaystyle z-z_0| =r$. My notes make use of this fact but it doesn't prove it so I have tried to do it myself, is this correct?

f is analytic on $\displaystyle D(z_0,R)$, so has a power series expansion $\displaystyle f(z) = \sum_{n=0}^{\infty} a_n (z- z_0) ^n$ with radius of convergence$\displaystyle R' \ge R$ (by Taylor).

So on the circle:

$\displaystyle |f(z)| = |\sum_{n=0}^{\infty} a_n (z- z_0) ^n| \le \sum_{n=0}^{\infty} |a_n (z- z_0) ^n| = \sum_{n=0}^{\infty} |a_n| |(z- z_0) ^n| = \sum_{n=0}^{\infty} |a_n| |r|^n$, which converges since r = |r| < R'. Hence f is bounded on the circle - is this ok? Thanks for any help and advice