2 - 最小上界性质,实数域,无限集合