P
Initializing...
A symmetric fourth-power inequality with coefficient thirteen · Prove2Me