P
Initializing...
Second moment: $\sum_{s\le x} r(s)^2\le 860\,x^3/(\log x)^4$ · Prove2Me