P
Initializing...
A shifted-product inequality with a sphere constraint · Prove2Me