実数上の関数f：Ｒ→Ｒが「点αで連続である」は次の理論式で定義されている(個体領域は実数全体Ｒ.)
∀ε(ε＞０→(∃δ(δ＞０∧∀χ(|χ−α|＜δ→|f(χ)−f(α)|＜ε))))
この否定形、すなわち関数が「点αで連続でない」を表す理論式を導け、ただし否定記号のスコープに他の論理記号が現れない形とする

よろしくお願いします