P
Initializing...
A bound for three variables with a cubic constraint · Prove2Me