如何证明一个函数是否有极