What is the asymptotic order of $$ \int_0^1 \left| \sum_{n=1}^N e^{2 \pi i n^2 x} \right| ~dx $$ as $N \to \infty$. This should be known, but I cannot find it in the literature.