P
Initializing...
Trivial bound $|S(\alpha,N)|\le\psi(N)$ · Prove2Me