assuming[x=infinity, (sum[1/2^n,{n,1,x}] ) ]