>>120
最大値のある関数は上に有界