P
Initializing...
A quartic deficiency bound yields a fourth-root excess · Prove2Me