If f is holomorphic and non-constant on a connected open U, then |f| has no local maximum in U. Consequence: on a bounded domain, |f| attains its max on the boundary.
If f is holomorphic and non-constant on a connected open U, then |f| has no local maximum in U. Consequence: on a bounded domain, |f| attains its max on the boundary.