Let $q=e^{2\pi i \tau}$. We define the Dedekind eta function by the formula $$\eta(\tau) = e^{\frac{\pi i \tau}{12}} \displaystyle\prod_{n=1}^{\infty} (1-q^n).$$
