数列有界是其收敛的什么条件