P
Initializing...
A quartic bound with a triple-product correction at fixed sum two · Prove2Me