lim x → x 0 f ( x ) − f ( x 0 ) x − x 0 {\displaystyle \lim _{x\to x_{0}}{\frac {f(x)-f(x_{0})}{x-x_{0}}}\;\;} există în R ¯ = R ∪ { − ∞ , ∞ } . {\displaystyle {\overline {\mathbb {R} }}=\mathbb {R} \cup \{-\infty ,\infty \}.}
are derivată într-un punct 
dacă limita
