P
Initializing...
A three-variable cubic upper bound at total five · Prove2Me