>>590
極大である事を
仮定する旨書いてあるから、そこから連続性は従う

について詳しく!