很著名的一个组合数,有详细的推导过程