>>50
まず、領域内部で最大にならない事を証明する
次に、境界上でどのような値をとるか計算する