「ろぴたるの定理」なら、lim[x→●] f(x)/g(x) において、f(●)/g(●) が不定形(0/0, ±∞/∞)になるとき、
lim[x→●] f(x)/g(x) = lim[x→●] {f(x)}'/{g(x)}' がなりたつ。