Int_0^{2\pi} [\sum_{k=1}^{\infty} sin(\pi k^2 x)/(\pi k^2) ] dx