table sum_k=2^n binom(n,k)*binom(k!,2) for n = 2 to 8