n_1-1\geq n