数列{xn}有界是lim存在的什么条件