実数全体で定義された関数 f(x) が,各k (1≦k≦n) に対して

lim[x→k]f(x)/(x-k)=1

を満たすとき,方程式 f(x)=0 は各開区間 (k,k+1) (1≦k≦n-1)
で少なくとも1つの実数解をもつことを示せ.
ただし n は与えれれた正の整数とする.