Do a;b;c và d là các số nguyên dương =>
a + b + c < a + b + c + d
a + b + d < a + b + c + d
a + c + d < a + b + c + d
b + c + d < a + b + c + d
=> a/(a + b + c) > a/(a + b + c + d) (1)
b/(a + b + d) > b/(a + b + c + d) (2)
c/(b + c + d) > c/(a + b + c + d) (3)
d/(a + c + d) > d/(a + b + c + d) (4)
Từ (1);(2);(3) và (4)
=> a/(a + b + c) + b/(a + b + d) + c/(b + c + d) + d/(a + c + d) > a/(a + b + c + d) + b/(a + b + c + d) + c/(a + b + c +