Solution (source code)

= Solution

The hypothesis says that $|f|$ attains a global, hence local, maximum at the interior point $a$. By the <maximum modulus principle>, a nonconstant <holomorphic function> cannot do this. Therefore \b[$f$ is constant].