Maximum modulus principle from the complex open mapping theorem
= 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.