P
Initializing...
A mixed cubic and quartic upper bound · Prove2Me