sum(j=0,n,binomial(k,j))