P
Initializing...
A sixth-degree mixed-product upper bound at fixed sum two · Prove2Me