考えている領域内のある点で φ の極大があったと仮定する。