数列有界必定存在收敛子列,这是充要条件还是充分条件还是必要条件?