pi/2=sum k=0 to infinity arctan(2^(-k))