有界确实是必须有上界并且有下界，数列是从a0开始的，就说明它其实是一个类似射线的线，是有一端，这一端就代表了上界或者下界，你只要知道另一个届就能证明有界了，这就是数列的单调有界准则。
不是充要条件，只有一个也是有界
，
