Niech funkcje ff i gg będą różniczkowalne w pewnym sąsiedztwie punktu x0x_0 (z wyjątkiem ewentualnie samego x0x_0), przy czym g′(x)=0g'\left(x\right)\ne 0 w tym sąsiedztwie. Jeżeli
x→x0limf(x)=x→x0limg(x)=0 \lim_{x\to x_0}f\left(x\right)=\lim_{x\to x_0}g\left(x\right)=0albo
x→x0limf(x)=x→x0limg(x)=±∞ \lim_{x\to x_0}f\left(x\right)=\lim_{x\to x_0}g\left(x\right)=\pm\inftyoraz istnieje granica
x→x0limg′(x)f′(x) \lim_{x\to x_0}\dfrac{f'\left(x\right)}{g'\left(x\right)}to
x→x0limg(x)f(x)=x→x0limg′(x)f′(x). \lim_{x\to x_0}\dfrac{f\left(x\right)}{g\left(x\right)}=\lim_{x\to x_0}\dfrac{f'\left(x\right)}{g'\left(x\right)}.