Is the Leibniz Formula that thing which is used to determine the n'th derivative of a product?
In that case, see what happens if you treat it as .
From my limited knowledge:
You find that gives you the appropriate factorial stuff in it and it looks as though everything works. Haven't actually tried it as I'm too lazy.