product cos(1/2^k), k=1..infinity