Tahap 1: mulai dari \(\forall\epsilon\gt0\,\exists\delta\gt0\,\forall x\text{.}\) Tahap 2: ketika meniadakan implikasi, syarat jarak masukan menjadi benar dan kesimpulan jarak keluaran menjadi salah.