已知f(x)定义在R上,且f(0)=9,对任意x属于R,两不等式f(x+4)>=f(x)+4与f(x+1)