函数极限的证明方法主要分为以下几类：

一、利用极限的定义证明

通过极限的$varepsilon-delta$定义直接证明函数在某点的极限存在。例如证明$lim_{x to 2} frac{x^2 - 4}{x - 2} = 1$：

设$varepsilon > 0$，取$delta = varepsilon$；

当$0 < |x - 2| < delta$时，有$|f（x） - L| = |（x + 2） - 1| = |x - 2| < varepsilon$。

二、利用极限的四则运算性质

若$lim{x to a} f（x） = L$，$lim{x to a} g（x） = M$，则：

$lim_{x to a} [f（x） pm g（x）] = L pm M$；

$lim_{x to a} [f（x） cdot g（x）] = L cdot M$；

$lim_{x to a} frac{f（x）}{g（x）} = frac{L}{M}$（$M neq 0$）。

三、利用重要极限

两个经典重要极限：

$lim_{x to 0} frac{sin x}{x} = 1$；

$lim_{x to infty} left（1 + frac{1}{x}right）^x = e$。

通过变形和代换可解决复杂极限问题。

四、利用函数连续性

若函数在某点连续，则极限值等于函数值。例如求$lim_{x to 3} sqrt{x^2 - 5x + 6}$：

证明$f（x） = sqrt{x^2 - 5x + 6}$在$x = 3$处连续；

直接代入得$lim_{x to 3} f（x） = f（3） = 0$。

五、利用夹逼准则

若存在$g（x） leq f（x） leq h（x）$，且$lim{x to a} g（x） = lim{x to a} h（x） = L$，则$lim_{x to a} f（x） = L$。

六、利用单调有界准则（柯西收敛准则）

单调递增且有上界的数列必有极限，单调递减且有下界的数列也必有极限。

七、利用无穷小量性质

当$x to 0$时，$sin x sim x$，$tan x sim x$，$1 - cos x sim frac{1}{2}x^2$等等价无穷小可简化计算。

八、洛必达法则

当$lim_{x to a} frac{f（x）}{g（x）}$为$frac{0}{0}$或$frac{infty}{infty}$型时，可对分子分母分别求导再取极限。

九、泰勒展开法

将函数展开为幂级数，取最低阶非零项计算极限。例如$lim_{x to 0} frac{sin x - x}{x^3}$：

$sin x = x - frac{x^3}{6} + o（x^3）$；

代入后得$lim_{x to 0} frac{-frac{x^3}{6}}{x^3} = -frac{1}{6}$。

十、分段函数极限

分别计算各段极限，再综合判断。例如$y = begin{cases} x^2 & x geq 0 -x & x < 0 end{cases}$在$x = 0$处的极限：

$lim_{x to 0^+} f（x） = 0$；

$lim_{x to 0^-} f（x） = 0$；

综合得$lim_{x to 0} f（x） = 0$。

注意事项 ：证明时需结合具体函数形式选择方法，例如证明$lim{x to infty} frac{ln x}{x} = 0$可用洛必达法则，而证明$lim{x to 0}