sum atan 1/2^n for n=0 to infty