套柯西不等式还有啥过程啊.a*a+b*b+c*c+d*d >= (a+2b+3c+4d)^2 / (1*1+2*2+3*3+4*4) = 25/30 = 5/6