prod_(n=1)^infty (2^n)^(1/2^(n+1))