
$\sigma_\infty
  (n_1 ) = r_1 \geq \sigma_\infty
  (n_2 ) = r_2$
