Sean n_1 < n_2 < ...