n\geq n_0