Производная функции одной переменной
Пусть функция y = f(x) определена в некоторой окрестности точки x0, и пусть существует конечный предел отношения при . Тогда этот предел называется производной функции f в точке x0. Иными словами, из чего следует, что , где при , откуда получаем