sum_(k=0)^n (binom(n,k))