A = 1/(a + 1) + 1/(b + 1) + 1/(c + 1) + 1/(d + 1) ≥ 3
→ 1/(a + 1) ≥ 1 - 1/(b + 1) + 1 - 1/(c + 1) + 1 - 1/(d + 1)
→ 1/(a + 1) ≥ b/(b + 1) + c/(c + 1) + d/(d + 1)
áp dụng BĐT Cauchy cho 3 số dương:
b/(b + 1) + c/(c + 1) + d/(d + 1) ≥ 3 ³√(bcd)/[(b + 1)(c + 1)(d + 1)]
→ 1/(a + 1) ≥ 3 ³√(bcd)/[(b + 1)(c + 1)(d + 1)] tương tự
1/(b + 1) ≥ 3 ³√(acd)/[(a + 1)(c + 1)(d + 1)]
1/(c + 1) ≥ 3 ³√(abd)/[(a + 1)(b + 1)(d + 1)]
1/(d + 1) ≥ 3 ³√(abc)/[(a + 1)(b + 1)(c + 1)]
nhân theo vế → 1/[(a + 1)(b + 1)(c + 1)(d + 1)] ≥ 81abcd/[(a + 1)(b + 1)(c + 1)(d + 1)]
→ 1 ≥ 81abcd → abcd ≤ 1/81