展开 函数收敛的柯西准则证明