Sejam a,b,c e d números reais positivos tais que abcd=1. Prove que 1+bc+c(a−1)(c+1)+1+cd+d(b−1)(d+1)+1+da+a(c−1)(a+1)+1+ab+b(d−1)(b+1)≥0. Proposto por Orif Ibrogimov, Uzbequistão.