sum((product (2^i-1),i=1 to k-1)/2^{k(k+1)/2}), k = 1 to infinity