证明函数在某点有极