∏cos(x/2^k) k=1 k=∞