Правило Лопиталя утверждает, что если limx→ag(x)f(x) имеет неопределённость вида 00 или ∞∞, то
limx→ag(x)f(x)=limx→ag′(x)f′(x)
при условии, что предел в правой части существует (или равен ±∞).
Правило применимо только к этим двум видам неопределённостей. Другие неопределённости (0⋅∞, ∞−∞, 1∞, 00, ∞0) сначала нужно преобразовать к виду 00 или ∞∞.
Правило может потребоваться применять несколько раз, если новый предел всё ещё является неопределённостью. Оно часто резко упрощает иначе трудные пределы, например limx→0xsinx=limx→01cosx=1.