Is the following true (and if yes, where the best proof is written?)?
For any $c>0$ for large enough positive integers $N$ we have $\sum_{k=0}^{N-1} \cos(k^2t)\geqslant -cN$ for all real $t$?
uniform one-sided van der Corput inequality
Fedor Petrov
- 108.9k
- 9
- 264
- 459