Формула Лейбніца для п-ної похідної добутку двох функцій.
Нехай , де - функції, які мають похідні будь-якого порядку. Тоді
Праві частини одержаних рівностей подібні на розвинення бінома Ньютона, але замість показників степенів стоять числа, які визначають порядок похідних. При цьому самі функції розглядаються як "похідні нульового порядку", тобто . Враховуючи це, одержуємо
Зауваження. Доведення викладених вище формул похідних проводиться методом математичної індукції.