要求0≤x≤1000,y=f(x)是增函数,f(x)≤9,f(x)≤x/5.求证:f(x)=4lgx-3是否符合上述条件