sum 2^-j * binom(j,k) * binom(n,j) from j=0 to n