数列极限证明常数