Cauchy sequence
ε &gt; 0 が任意であることより、列 {"xn"} はコーシー列であることが分かる。