P
Initializing...
Massias' bound $g(n)\le\exp(1.05314\sqrt{n\ln n})$ · Prove2Me