sum (1/2)^n from n=1 to infinity