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