极限 证明 函数