olymmath

ÖMO 2023 Problem 1

    Let a,b,c,da, b, c, d be positive reals strictly smaller than 11 , such that a+b+c+d=2a+b+c+d=2 . Prove that (1−a)(1−b)(1−c)(1−d)≤ac+bd2.\sqrt{(1-a)(1-b)(1-c)(1-d)} \leq \frac{ac+bd}{2}.

    Dataset text AI-MO AoPS. 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 at-oemo/2023/p1 · Tag KXTQHJXP7W · Edit this page on GitHub · Keys: j next, k previous