数列极限四则运算法则前提