summation(1/2**i, (i, 0, oo))