olymmath

Nemotron-IMO-Bench 2026 A16

    Prove that for all positive real numbers a,b,ca,b,c b+ca2+c+ab2+a+bc2+45a+b+c≥7a+7b+7c.\frac{b+c}{a^2}+\frac{c+a}{b^2}+\frac{a+b}{c^2}+\frac{45}{a+b+c}\geq \frac{7}{a}+\frac{7}{b}+\frac{7}{c}.

    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