VT=5+(ab+ba)+(ac+ca)+(ad+da)+(ae+ea)+(bc+cb)+(bd+db)+(be+eb)+(cd+dc)+(ce+ec)+(de+ed)Giả sử 0<p≤a≤b≤c≤d≤e≤q
Ta có (ae−pq)(ae−qp)≤0⇔ae+ea≤pq+qp
Tương tự bd+db≤pq+qp
Lại có (1−ab)(1−be)+(1−ba)(1−eb)≥0⇔ab+be+ba+eb≤2+ae+ea
(1−ad)(1−de)+(1−da)(1−ed)≥0⇔ad+de+da+ed≤2+ae+ea
(1−ac)(1−ce)+(1−ca)(1−ec)≥0⇔ac+ce+ca+ec≤2+ae+ea
(1−bc)(1−cd)+(1−cb)(1−dc)≥0⇔bc+cd+cb+dc≤2+bd+db
⇒VT≤13+4(ae+ea)+2(bd+db)≤13+6(pq+qp)=VP
Dấu bằng xảy ra khi (a;b;c;d;e)=(p;p;p;q;q) hoặc (p;p;q;q;q) và các hoán vị