f(x0是定义在(0,+∞)上的增函数,且f(x/y)=f(x)-f(y),若f(6)=1,解不等式f(x+3)-f(1