Maximum modulus principle

A nonconstant holomorphic function on a connected domain cannot attain a local maximum of its modulus at an interior point.

A maximum-modulus extension for unbounded domains with suitable growth restrictions. In its polynomial-growth vertical-strip form, bounds $|F(a+it)|\ll (1+|t|{)}^u$ and $|F(b+it)|\ll (1+|t|{)}^v$ for a holomorphic function imply the interpolated exponent $((b-\sigma )u+(\sigma -a)v)/(b-a)$. It is the strip-convexity tool used to move subpower zeta bounds to the right of the critical line back onto that line.

If a function is continuous on the closure of a bounded plane domain and holomorphic inside, the compact closure supplies a point of maximum modulus. Unless the function is constant, the maximum modulus principle places every maximum on the boundary.

Let $f$ be bounded and holomorphic on a half-plane and continuous on its closure. A bound $|f|\le M$ on the boundary line propagates throughout the half-plane. Apply the bounded-domain principle to $f(z)z^{-1/n}$ on expanding truncated half-discs, then let $n\to \infty$.