Лейбница формула, формула, выражающая производную n-го порядка (см. Дифференциальное исчисление) от произведения двух функций через производные сомножителей:

  .

  Эта формула была сообщена Г. Лейбницем в письме к И. Бернулли в 1695. Л. ф. облегчает вычисление производных высших порядков.