有界无限点集,取其上下界的中点,则构成两个闭区间,至少有一个闭区间中含有无限多个点,再取这个闭区间的一半,使它含有无限多个点,再取一半,依此类推...根据区间套定理,有唯一一个点在所有这些闭区间中,则这个点的任意一个临域都存在无穷多个点集中的点.即它是聚点.
思路如上,具体过程自己写吧.