2^n - n - 1 = sum(binomial(n,k), k, 2, n)