Jeżeli dla funkcji f, g mam lim_{x→x_0} f(x) = 0 i lim_{x→x_0} g(x) = 0 oraz na pewnym sąsiedztwie x_0 funkcje f, g są różniczkowalne, g'(x)≠0, a ponadto granica lim_{x→x_0} (f'(x) / g'(x)) istnieje, to lim_{x→x_0} (f(x) / g(x)) = lim_{x→x_0} (f'(x) / g'(x)).