P
Initializing...
A squared shifted ratio upper bound at fixed sum three · Prove2Me