数列极限斯托克斯定理