lim un=0是函数 un收敛的