京都大学　理学部　数学科　スレッド

負でない整数値をとる関数f(x)が次の条件を満たしてる
f(3)>0,f(4)=1,f(7269)=2423
任意のm,n∈Nに対して
f(m)+f(n)≦f(m+n)≦f(m)+f(n)+1
が成立する。
f(2000)をもとめよ。

京大後期。