∀X∈K Min[y∈L]f(X,y) ≦ Min[y∈L]Max[x∈K]f(x,y) を証明する