Proof: We first prove that for any a,b>0,a+b≤1
(a1−1)(b1−1)≥(a+b2−1)2
In fact, this result can be expressed in the following form
ab1−a1−b1≥(a+b)24−a+b4⇔ab1−(a+b)24≥a1+b1−a+b4⇔ab(a+b)2(a−b)2≥ab(a+b)(a−b)2⇔(a−b)2(1−a−b)≥0
Returning to the original problem. We can assume a+b+c+d+e=1, then we have
cyc∏(2a+b)≤cyc∏(3a+b+c)⇔cyc∏(d+ea+b+c)≥2535⇔cyc∏(a+b1−1)≥2535
According to (∗), we have
(d+e1−1)(a+b1−1)≥(d+e+a+b2−1)2=(1−c2−1)2
This result indicates
cyc∏(a+b1−1)≥cyc∏(1−c2−1)=cyc∏(1−c1+c)
The function f(x)=ln(1+x)−ln(1−x) is a convex function, because the second derivative f′′(x)=(1+x)2−1+(1−x)21≥0. Therefore, by Jensen's inequality, we have
cyc∑f(a)≥5f(51)=5ln(23)⇒cyc∏(1−c1+c)≥2535 .
Equality holds when a=b=c=d=e