summation from n=1 to infinity of 1/(2^n)