Sejam x,y,z números reais positivos. Prove que cyclic∑xy+x2+y2xy ≤ cyclic∑2x+zx (Proposto por Šefket Arslanagić, Bósnia e Herzegovina)