点列コンパクトといえば…