n_0\geq 2