lim(n to infinity) prod(k = 0 to (2^(2^n - 1) + 1)) (1 + 1/(2^2^n + 2k))