成立！abcd的范围因为是正实数0~4
成立,由Cauchy不等式,(ab+bc+cd+da)^2≤(a+b+c+d)(b+c+d+a)=16所以ab+bc+cd+da≤4拓展:其实由Hölder不等式,(abc+bcd+cda+dab)^3≤(a+b+c+d)(b+c+d+a)(c+d+a+b)=64所以abc+bcd+cda+dab≤4
