P
Initializing...
A shifted cubic ratio sum is at least one at fixed sum three · Prove2Me