Nemotron-IMO-Bench 2026 A27
Let n≥4 and let a1≥a2≥…≥an be real numbers such that a1=a2 and an−1=an. Prove that ni=1∑naiai+1≥(i=1∑nai)2, where an+1=a1.
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/a27 · Tag NGC338421G · Edit this page on GitHub · Keys: j next, k previous