P
Initializing...
A quadratic and triple-product lower bound at sum three · Prove2Me