P
Initializing...
A mixed cubic bound at sum three · Prove2Me