極大値が与えられたとき、その条件の下で極大値が最大値であることを示すには
ほかにどのような条件が必要でしょうか？