P
Initializing...
Montgomery-Vaughan: sum_{q <= R} mu^2(q)/phi(q) >= log R · Prove2Me