Formula_23214

\[m_{1}^{(n)} \geqslant m_{1}^{(n-1)} \geqslant m_{2}^{(n)} \geqslant m_{2}^{(n-1)} \geqslant m_{3}^{(n)} \geqslant \ldots \geqslant m_{n}^{(n)} .\]