P
Initializing...
A quartic symmetric bound at a negative fixed sum · Prove2Me