P
Initializing...
First moment: $\sum_{s\le x} r(s)\ge x^2/(9(\log x)^2)$ · Prove2Me