로피탈 법칙을 만족하는 lim g(x)/f(x)에 대하여 e^H(x)가 존재할 때 lim g(x)/f(x) = lim (g(x)h(x)+g(x)')/(f(x)h(x)+f(x)')을 만족한다(h(x)=H'(x))