P
Initializing...
A sixth-degree lower bound at fixed sum six · Prove2Me