sum_(j = 0)^(n - 1) C(n - 1, j) (n - j)