为什么用定义证数列极限只用证明N的存在性?