海涅定理在函数极限证明中的应用