${n < n_0}$