P
Initializing...
Quantitative Parseval bound $\int_0^1 |S|^2 \le N\log^2 N$ · Prove2Me