f を I = [a, b] から R への連続関数とする。

このとき、

S = {(x, y) ∈ I × I | | f(x) - f(y) | ≧ ε}

は閉集合であることを証明せよ。

これの直接的解答をお願いします。