P
Initializing...
Mean square of the arithmetic factor: $\sum_{s\le x,\,2\mid s} C(s)^2\le \tfrac{21}{2}x$ · Prove2Me