>>144
>εδがεをどんどん小さくしていきながら代入していく操作

εδの確認を「反例探しの失敗の連鎖」と考えるなら、あながち間違ってない

あるε1でδ1が存在し、反例でないことがわかった

次に反例を探すとしたら、ε1より小さいε2だろう

で、ε2でδ2が存在し、反例でないことがわかった

次に反例を探すとしたら、ε2より小さいε3だろう

だからどんどん小さくしていくのは間違ってない

ただ、それだけではダメだがね

いかなるε＞０についても必ずあるεｎが存在して
ε＞εｎとなるように、小さくしていかなくてはならない