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