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