Tahap 1: dalam metrik diskret, \(d(x,L)\lt1/2\) memaksa \(x=L\text{.}\) Tahap 2: periksa apakah \((2n,n^2)\) pada akhirnya konstan.