P
Initializing...
A squared symmetric cubic expression is bounded by a cubic square sum · Prove2Me