P

Initializing...

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