P

Initializing...

Lower bound $G_s(z)\ge (\log z)^2/(2C(s))$ for the sieve denominator · Prove2Me