P
Initializing...
A refined cubic difference inequality with a squared Vandermonde correction · Prove2Me