olymmath

Nemotron-IMO-Bench 2026 A3

    Prove that for all positive real numbers a,b,c,da,b,c,d a+b1+c⋅b+c1+d⋅c+d1+a⋅d+a1+b≥16abcd(1+abcd4)4.\frac{a+b}{1+c}\cdot \frac{b+c}{1+d}\cdot \frac{c+d}{1+a}\cdot \frac{d+a}{1+b}\geq \frac{16abcd}{(1+\sqrt[4]{abcd})^4}.

    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/a3 · Tag NBBQ379TE8 · Edit this page on GitHub · Keys: j next, k previous