Definition Suppose f,g:D→R is differentiable on the D−{a}, x→alimf(x)=x→alimg(x)=0 or x→alim∣f(x)∣=limx→a∣g(x)∣=∞, ∀x∈D−{a},g′(x)=0, and x→alimg′(x)f′(x) exists, then x→alimg′(x)f′(x)=L⇒x→alimg(x)f(x)=L where L∈R∪{−∞,∞}