product of (1-tan(pi/2^n)^4) from 3 to infty