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