sum(1 to n,n*(2^(-n)))