如何证明一个函数在某点处可