Производной функции f в точке x₀ называется предел отношения приращения функции к приращению аргумента, когда приращение аргумента стремится к нулю.