n < n_n