f(n_1-1)\geq n