单调减小且有下界数列一定有极限