## Solution.
The first addend in the inequality can be written as follows:
a+2ba+b=a+2ba+2b−a+2bb=1−a+2bb=1−ba+21=1−x+21
where we denote x=ba. If we denote y=cb and z=ac, the desired inequality is equivalent to the inequality
x+21+y+21+z+21>3−D
under the condition xyz=1.
Let's denote the expression on the left side as X and choose an arbitrary natural number n. If we substitute x=n,y=n,z=n21, we get:
X=2+n211+n+22=(2n2+1)(n+2)n3+6n2+2=21+2(2n3+4n2+n+2)8n2−n+2
The number 2(2n3+4n2+n+2)8n2−n+2 can be an arbitrarily small positive number, so X can be arbitrarily close to 21.
It remains to prove the inequality: x+21+y+21+z+21>21.
By multiplying by the common denominator, we see that this inequality is equivalent to
2(y+2)(z+2)+2(z+2)(x+2)+2(x+2)(y+2)>(x+2)(y+2)(z+2)
or
2(xy+yz+zx)+4(x+y+z)+24>xyz+2(xy+yz+zx)+4(x+y+z)+8
i.e., 16>xyz=1, which is obviously true.
Therefore, 3−D=21, so D=25.