Ta có:
1/1+a = (1 - 1/1+b) + (1 - 1/1+c) = b/1+b + c/1+c >= 2.căn bc/(1+b)(1+c) (theo bđt AM-GM)
Tương tự như vậy ta cũng có:
1/1+b >= 2.căn ac/(1+a)(1+c)
1/1+c >= 2.căn ab/(1+a)(1+b)
Vì 2 vế của các bđt đều dương do a;b;c dương nên nhân theo từng vế của bđt ta được:
1/1+a . (1/1+b) . (1+1/c) >= 8.căn(abc)^2/[1+a)(1+b)(1+c)]^2
=> abc <= 1/8
Dấu "=" xảy ra khi a=b=c=1/2