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