P
Initializing...
A product of power sums bounded by an eighth-power sum · Prove2Me