海涅原理

lim[x->a]f(x)=b存在的充要條件是:對屬於函數f(x)定義域的任意數列，且lim[n->∞]an = a，an不等於a，有lim[n->∞]f(an)=b。

海涅定理表明了函數極限與數列極限的關係。如果極限lim[x→x0]f(x)存在，{xn}為函數f(x)的定義域內任一收斂於x0的數列，且滿足：xn≠x0（n∈N+），那麼相應的函數值數列{f(xn)}必收斂，且lim[n→∞]f(xn)=lim[x→x0]f(x).