Suppose m≥1, f and g are m times differentiable near a,
f(j)(a)=g(j)(a)=0 for 0≤j<m and
f(m)(a),g(m)(a)=0. Then
x→alimg(x)f(x)=g(m)(a)f(m)(a).
The leading expansions are
f(x)=m!f(m)(a)(x−a)m+o((x−a)m),
and
g(x)=m!g(m)(a)(x−a)m+o((x−a)m).
The common power (x−a)m cancels in the quotient. This explains why repeated L'Hôpital
differentiation can work, but the hypotheses of that rule must still be checked.