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