product(tanh(2^n)^(1/2^n),n=1..inf)