証明@最大値・最小値の存在