n>n_0