product from 0 to infinity of (1-1/(2^(-2^n)+2^(2^n)))