Maximum modulus principle on a bounded domain (source code)

= Maximum modulus principle on a bounded domain

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.