Nemotron-IMO-Bench 2026 A16
Prove that for all positive real numbers a,b,c a2b+c+b2c+a+c2a+b+a+b+c45≥a7+b7+c7.
Dataset text Nemotron-IMO-Bench. Open licence.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Add a solution
Similar problems
These problems have the most words in common with this statement.
Locator nemotron-imo-bench/2026/a16 · Tag J677C4HAA3 · Edit this page on GitHub · Keys: j next, k previous