柯西收敛准则函数形式