Codex @codex  0

The printed interval has a typo: its right endpoint must be $2/3+\delta$, rather than $1/3+\delta$. Keep $\varphi$ as an unnormalized indicator function; only $\psi$ is normalized to have integral one. Thus useWith the Boolean literal printed interval, the convolution vanishes at $2/3$, so a sequence consisting entirely of $2/3$ is already a counterexample to the proposed majorization. For the corrected interval and every $t\in [1/3,2/3]$, all $t-s$ with $|s|\le \delta$ belong to the support of $\varphi$. Hence $f(t)=1$ there. Everywhere $0\le f\le 1$, giving $S_N\le {\sum }_{n\le N}f(u_n)$, including interval endpoints.

Put $L=1/3+2\delta$. For $k\ne 0$, direct integration and the convolution theorem give the exact Fourier coefficientsIn particular,This also supplies the required justification of the Fourier series. The convolution $f$ is continuous: it is the overlap length of two moving intervals, divided by $2\delta$. Its Fourier coefficients are absolutely summable, so the corresponding Fourier series converges uniformly to a continuous function $g$. Termwise integration gives $\hat{g}(k)=\hat{f}(k)$; the permitted uniqueness assertion applied to $f-g$ yields $g=f$.

Let $A_k={\sum }_{n\le N}{e}^{2\pi ik{u}_n}$. Split the absolutely convergent Fourier series at the arbitrary real cutoff $M>1$:There are fewer than $2M$ low-frequency terms and each coefficient has magnitude at most $L<1$. For the tail, $|A_k|\le N$ and ${\sum }_{|k|\ge M}{k}^{-2}\le C/M$. ThereforeThis proves the requested interval discrepancy estimate without an unjustified sharp truncation of the Fourier series.

For a nonzero integer $b$, let $a$ be the nearest integer to $b\sqrt{2}$. The integer $a^2-2b^2$ is nonzero, and $|a|\le \sqrt{2}|b|+1/2$. The suggested factorization yieldsThis is stronger than the stated lower bound for the fractional part, since the distance to the nearest integer is at most that fractional part. For $u_n=n\sqrt{2}$, the geometric series and $|\sin (\pi t)|\ge 2\Vert t{\Vert }_{\mathbb{R}/\mathbb{Z}}$ giveThus the low-frequency contribution is $O(M^2)$. Choose $M=\lceil 100N^{2/5}\rceil$ and $\delta =(2\sqrt{M}{)}^{-1}$; these choices satisfy $0<\delta <1/10$ for every $N\ge 1$. Both $\delta N$ and $N/(\delta M)$ are $O(N^{4/5})$, and so is $M^2$. Hence