P
Initializing...
Squarefree slow-variance lower bound with an explicit variance factor · Prove2Me