Suppose is an analytic function on a domain .
Then has no maximum in .
In particular, would have to reach the maximum on the boundary .