P
Initializing...
A sixth-power inequality with a squared triple product · Prove2Me