Правило Лопіталя для невизначеностей виду
Припустимо, що функції і визначені і мають похідні в деякому околі точки a (за винятком, може бути, самої точки a), до того ж і .
Отже, якщо існує границя (кінцева або нескінченна) відношення похідних , тоді існує і границя ділення функцій:
.
Така ж теорема справедлива для невизначеності виду .
Приклад:
1.
2.