sum(binomial(20, x)*x +1), 0 <= x <= 20