前两个书上有定义。后一个：有界不一定收敛，收敛一定有界，例如An=（-1）^n有界但不收敛，因为取值有1和-1，虽有界但是是发散的。
存在一个常数M，对任意x，M大于函数值的绝对值。有界数列必有收敛子列。收敛数列必有界
