函数与不等式
函数f(x)=x^2-x;
已知m≥0,n≥0,求证（m+n）^2/2 + (m+n)/4 ≥m√n + n√m