olymmath

Nemotron-IMO-Bench 2026 A27

    Let n≥4n\geq 4 and let a1≥a2≥…≥ana_1\geq a_2\geq\ldots\geq a_n be real numbers such that a1=a2a_1=a_2 and an−1=ana_{n-1}=a_n. Prove that n∑i=1naiai+1≥(∑i=1nai)2,n\sum_{i=1}^n a_ia_{i+1}\geq (\sum_{i=1}^n a_i)^2, where an+1=a1a_{n+1}=a_1.

    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