sum 1/(4^n*cos^2(pi/2^(n+2)))