Loading paper
A positive lower bound for $\liminf_{N\to\infty} \prod_{r=1}^N \left| 2\sin \pi r \varphi \right|$ | Tomesphere