P
Initializing...
A triangle-factor reciprocal bound at fixed sum six · Prove2Me