Linear Weyl-sum bound $\|\sum_{n<N}e(\alpha n)\| \le \min(N, (2\|\alpha\|)^{-1})$ · Prove2Me

P

Initializing...

Linear Weyl-sum bound $\|\sum_{n<N}e(\alpha n)\| \le \min(N, (2\|\alpha\|)^{-1})$ · Prove2Me