Prove that for all positive reals a,b,c,
a+b1+11+b+c1+11+c+a1+11≥3abc+3abc1+13.
Proposed by David Stoner
Dataset text AoPS wiki problems. Quoted with source.
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 elmo-sl/2013/a2 · Tag 4SX0G51M24 · Edit this page on GitHub · Keys: j next, k previous