talk:>>647 最小値が存在することを示せば、俺の>>644のやり方で
あってるということですよね???