Siano f, g : [a,b] due funzioni reali di variabile reale continue in [a,b] e derivabili in (a,b) eccetto al più in x_0, con -\infinito<(=) a <b <(=)+\infinito; sia g^(x) diversa da 0 per x=\=x_0. Sia inoltre

{lim _{x\to x_{0}}{f(x)}=\lim _{x\to x_{0}}g(x)=0}lim _{x\to x_{0}}{f(x)}=\lim _{x\to x_{0}}g(x)=0} oppure
lim _{x\to x_{0}}{|f(x)|}=\lim _{x\to x_{0}}{|g(x)|}=\infinito ,
ed esista

lim _{x\to x_{0}}{f'(x)}/{g'(x)}}=L appartenente all'insieme dei reali {R}}
Allora

lim _{x\to x_{0}}{{f(x)}/{g(x)}}=L