max についての補題を追加した。