数列Xn的极限等于a的充要条件证明