どうでもいいけど、>>788の証明ではだめだってことはらすかるはわかってるのかな
最大値が存在することはいえてないし