1. The problem statement, all variables and given/known data 1. f(z) is a function that is analytic on all of the complex plane, and mod(f)<=mod(z). Prove that f=cz. 2. f(z) is analytic on all of the complex plane, and mod(f)<= sqrt(mod(z)). Prove that f is constant 2. Relevant equations Liouvilles thm: the only bounded entire functions are constant Maximum modulus thm: If g is analytic on a domain D and achieves a maximum modulus on the interior of D, then g is constant 3. The attempt at a solution 1. I think I have this one. So, |f(z)/z|<=1, and analytic enerywhere except at z=0. If z=0 is an essential singularity or a pole, f(z)/z is not bounded near z, which is a contradiction. Thus, z=0 is a removable singularity or f(z)/z. So, There is an entire function h(z) where h(z)=f(z)/z when z is not 0, and h(z)=c when z=0 for some value c. Then, |h(z)| is bounded by max(1,c), and is constant. Then, f(z)/z=c for all z not equal to zero, so that f=cz. At zero, f(z)=0 by continuity because f is analytic everywhere on C. thus, f(z)=cz on the complex plane. 2. I don't know where to begin here. I would like to show that f is bounded, and then use Liouville's thm, but I don't know if that's the way to go.