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

  .

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