I discovered this formula in 2011. Somebody probably discovered this in the past but I'm not certain whether it is a well-known formula.
We prove by induction.
First note that
By hypothesis, when ,
Check out my other notes at Proof, Disproof, and Derivation