Nemotron-IMO-Bench 2026 A3
Prove that for all positive real numbers a,b,c,d
1+ca+b⋅1+db+c⋅1+ac+d⋅1+bd+a≥(1+4abcd)416abcd.
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