若对定义域为R的函数y=f(x),恒有f(x)

对定义域为R的函数y=f(x),f(x)不是增函数,则存在x∈R使得f(x)>=f(x+1)成立.