>>496
調べたわけじゃないけどたぶん凸性っていうやつを
その関数が持っていると思うよ。
凸性があると最大値になるんだよ。