Let F(x)=f(x)+x, then F(0)=1.
Let u be the smallest root of f(x)=0, then F(u)=u.
If u0
For any real number x, by (5) we have
0=f(x)f(u)=f(xf(u)+uf(x)+xu)=f(uf(x)+uu).
∴uf(x)+xu is a root of f(x)=0.
∵u is the smallest root of f(x)=0,
∴uf(x)+xu⩾u. Thus, f(x)+x⩾1,
i.e., f(x)⩾1−x.
∴f(−1999)⩾2000. Also, ∵f(−1999)⩽2000,∴f(−1999)=2000.