任取ε>0,对点集的第n个点,用长度为ε/2^n的区间去覆盖,那么这个点集可以被测度为2ε的集合覆盖.