sum_(n=1)^infinity tan(pi/2^n)