f(n+1)\leq n