Sum[Sum[(-1)^i * Binomial[k,i] * (k-i)^n * ceil(2^(-2 + k))/(k) , i=0 to k-1],k=1 to n]