Explicit trivial bound $|S(\alpha,N)|\le N\log N$ · Prove2Me

P

Initializing...

Explicit trivial bound $|S(\alpha,N)|\le N\log N$ · Prove2Me