P
Initializing...
A symmetric quartic bound with coefficient twenty-seven · Prove2Me