>>607
ε-δ論法をもう一度勉強しろ、だな、まず。
たぶん、「これがε-δ論法の雛形だろう」と思って参照した式が、
ある特定の場合において何かを証明するための途中式だった、とかいう
パターンのようだな。

命題はこうだろ

∀ε＞0, ∃δ＞0,｜ｘ−１｜＜δ ⇒ |f(x)-f(1)|=|[x]-1|＜ε