sum (product 1/2^k, k=1 to n), n = 1 to infinity