30. Let the substitution b=ax,c=ay,d=az, then by the conditions of the problem, we have 1⩽x⩽y⩽z. The inequality in the problem is
aax(ax)ay(ay)az(az)a⩾(ax)a(ay)ax(az)ayaaz
After canceling aaaaxaayaaz, and taking the a1 power on both sides of the inequality, we get the equivalent inequality xyyzz⩾xyxz′
Let y=xs,z=xt, then by x⩽y⩽z, we get 1⩽s⩽t. And since x⩾1, we have y⩾s. Thus, the above inequality becomes
xnsyntxt⩾xy∗(xt)n
After canceling x18yxxt, and taking the x1 power on both sides of the inequality, we get the equivalent inequality yt−1⩾ txx−1
If y=1, then since x=1,s=xy=1,yt−1=1=t1−1=1, the inequality holds. If t=1, then since yt−1=y0=1=1xt−1=1, the inequality holds.
If y>1,t>1, then taking the t−11⋅y−1y(>0) power on both sides of the above inequality, we get the equivalent inequality
yn−11⩾tt−11(1⩽s⩽t,s⩽y)
We will prove this inequality in two cases.
(1) Suppose y⩾t. Then when x>1, the function f(x)=xx−1x is a monotonically increasing function. This can be proven by showing its derivative f′(x)>0.
Indeed,
f′(x)=(ex−1xlnx)′=ex−1xlnx(x−11−(x−1)2lnx)=x1−1x(x−1)21(x−1−lnx)>0
The last inequality can be derived from the inequality x−1−lnx>0, which is because the function g(x)=x− 1−lnx is an increasing function on (Γ,+∞). This can be derived from g′(x)=1−x1>0 and g(1)=0.
Since f(x)=xx−1x is an increasing function on (F,+∞), we have yy−1y=f(y)⩾f(t)=tt−i1⩾ t1−11.
(2) Suppose y1 when the function f(x)=xx−11 is a monotonically decreasing function. This can be proven by showing its derivative f′(x)<0.
Indeed, f′(x)=(ex−11lnx)′=ex−11lnx(x(x−1)1−(x−1)2lnx)=xx−11x(x−1)21 (x−1−xlnx)<0.
The last inequality can be derived from the inequality x−1−xlnx<0, which is because the function g(x)=x− 1−xlnx is a decreasing function on (1,+∞). This can be derived from g′(x)=1−lnx−1=−lnx<0 and g(1)=0.
Since f(x)=xx−11 is a decreasing function on (1,+∞), we have yy−1y=(f(y))y⩾ (f(t))y=tt−11⩾t1−11.