I ran into this sum while calculating the marginal pdf of a joint distribution function. I wasn't sure how to evaluate it, so I plugged it into Wolfram expecting something ugly. Fortunately, there's this nice closed form equality, but I don't know how to arrive at the result analytically.
Edit: Just realized that I could do this by induction. But that's rather unsatisfactory, since I wouldn't have arrived at the idea to prove this without Wolfram.