Let n be a natural number and let Rn be Euclidean space equipped with the Euclidean distance dE, which is a metric by Euclidean Distance is a Metric on Rn. Let K⊆Rn be bounded in (Rn,dE), and let (x(m))m∈N be a sequence in Rn with x(m)∈K for every m∈N.
Then there exist a point ℓ∈Rn and a strictly increasing sequence (pk)k∈N in N such that the subsequence (x(pk))k∈N converges to ℓ in (Rn,dE).