真极大

proper maximum