Euclidean space
ユークリッド空間の点列コンパクト性.