MathDB
JBMO Shortlist 2023 A4

Source: JBMO Shortlist 2023, A4

June 28, 2024
inequalitiesJBMOJBMO Shortlistalgebra

Problem Statement

Let a,b,c,da,b,c,d be positive real numbers with abcd=1abcd=1. Prove that
ab+c+d2+a3+bc+d+a2+b3+cd+a+b2+c3+da+b+c2+d32\sqrt{\frac{a}{b+c+d^2+a^3}}+\sqrt{\frac{b}{c+d+a^2+b^3}}+\sqrt{\frac{c}{d+a+b^2+c^3}}+\sqrt{\frac{d}{a+b+c^2+d^3}} \leq 2