设函数f(x)的定义域为(0,+∞),x1>0,x2>0,求证:若f(x)/x单调下降,则f(x1+ x2)≤f(x1)