已知函数f(x)=lg(sx-tx)常数是s>1>t>0且不等式f(x)大于等于0的解集为【1,正无穷大)则有