product_(k=1)^20 (1/3)(2cos(pi/3^k)+1)