MathDB
"Can we use jensen for the test" The problem:

Source: Indonesia National Math Olympiad 2021 Problem 4 (INAMO 2021/4)

November 8, 2021
inequalitiesalgebra

Problem Statement

Let x,yx,y and zz be positive reals such that x+y+z=3x + y + z = 3. Prove that 2x+y+2y+z+2z+x8+xy+8+yz+8+zx 2 \sqrt{x + \sqrt{y}} + 2 \sqrt{y + \sqrt{z}} + 2 \sqrt{z + \sqrt{x}} \le \sqrt{8 + x - y} + \sqrt{8 + y - z} + \sqrt{8 + z - x}