标签：无法证明判断题收敛的数列是有界数列