Maximum modulus principle from the complex open mapping theorem

ID: maximum-modulus-principle-from-the-complex-open-mapping-theorem

If a nonconstant holomorphic function had a local maximum of its modulus, its open image near that point would contain values of larger modulus. Hence no such local maximum exists.

New to topics? Read the docs here!