n\ge n_0