The theorem says: The maximum of the absolute value of an analytic function over some compact set in a domain of analyticity is attained at the boundary of that compact set.

Could someone please explain why it is true?