The Leibniz rule is a generalisation of the product rule to general nth derivatives.
In this video we derive the result of the Leibniz rule and explain the intuition behind why the binomial coefficients appear within it.
After this we then formally prove the result for all derivatives using proof by induction.