Barisan memenuhi \(a_n\in A\) dan \(m\leq d(x,a_n)\lt m+1/n\text{.}\) Karena itu \(d(x,a_n)\to m=d(x,A)\text{.}\)