设x1>=x2>=x3>=x4>=2,x2+x3+x4>=x1,求证:(x1+x2+x3+x4)^2