User talk:MathFacts/prod

$$\frac{e^{\frac{1}{2} i (-2 x+\pi +2) x} \left(-1;e^i\right){}_x \left(e^i;e^i\right){}_{x-1}}{\left(-1;e^{-2 i}\right){}_x} $$