Maximum modulus principle (source code)

= Maximum modulus principle
{wiki}

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