P
Initializing...
A shifted quartic product bounds a squared quadratic sum · Prove2Me