P
Initializing...
A four-variable quadratic lower bound at total four · Prove2Me