Non-constant holomorphic f on domain cannot attain local max of |f|. Schwarz lemma, Hadamard three-lines refinements.