P
Initializing...
A weighted sum of triple-variable quartics bounds a product of triple sums · Prove2Me