sum of 1/(2^n) with n=1 to infinity