Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In the derivation of the Indian Buffet Process (Indian Buffet Process paper -- see page 1218), we have the following step: $\prod_{k=1}^{K_+}{(K-k+1)} = K^{K_+}-\frac{(K_{+}-1)K_{+}}{2}K^{K_{+}-1}+...+(-1)^{K_{+}-1}(K_{+}-1)!K$.

I can see why this would be true, but I don't know if this theorem has a name, and I also don't know how to prove it. Either would be appreciated!

share|improve this question
It seems like you should be able to show this by induction on $K_+$... –  Rafe Kettler Nov 5 '13 at 0:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.