P
Initializing...
A sixth-power bound for a product of symmetric sums · Prove2Me