Past exam of the algebra, analysis and differential equations II course of the University of Oxford / 2012 / 4 / b / i

Write $M=|f(z_0)|$. The local maximum property gives a disk around $z_0$ on which $|f|\le M$, contained in the unit disk. If $M=0$, then $f=0$ on that neighbourhood, and the identity theorem makes $f$ zero on the connected unit disk.

Otherwise multiply $f$ by the unit complex number $\overline{f(z_0)}/M$, obtaining a holomorphic function $g$ with $g(z_0)=M$ and $|g|\le M$ nearby. Applying the Cauchy integral formula on any sufficiently small circle of radius $r$ gives the mean value propertyTake real parts. The continuous function $M-\mathrm{Re}g$ is nonnegative on the circle and has integral zero, so it vanishes everywhere there. Since $|g|\le M$, having real part $M$ forces imaginary part zero. Thus $g=M$ throughout the circle. The zeros of $g-M$ have an accumulation point inside its domain, so the identity theorem gives $f$ constant on the entire unit disk. This proves the local maximum modulus principle directly from the Cauchy integral formula.