P
Initializing...
An asymmetric quartic lower bound · Prove2Me