n > n_0