An additional proof of a theorem upon rearrangements. (Q1440122)

Neuer Beweis eines von \textit{G. H. Hardy} und \textit{J. E. Littlewood} (Notes on the theory of series VII; Journal L. M. S. 3 (1928), 105-110; F. d. M. 54) benutzten Hilfssatzes: Es seien \(a_r,b_s,c_t\) drei endliche Systeme nicht negativer Zahlen, die den Bedingungen \(a_r=a_{-r},b_s=b_{-s},c_t=c_{-t}\) genügen, und es sei \(a_0\) das größte der \(a_r,b_0\) das größte der \(b_r,c_0\) das größte der \(c_r\). Dann gilt die Beziehung \[ \sum_{r+s+t=0} a_rb_sc_t \leqq \sum_{r+s+t=0} a_r^* b_s^* c_t^*, \] wenn die \(a_r^*\) aus den \(a_r\) so durch Umordnung hervorgegangen sind (und analog die \(b_s^*\) aus den \(b_s\) und die \(c_t^*\) aus den \(c_t\)), daß \[ a_0^*\geqq a_1^*=a_{-1}^* \geqq a_2^*=a_{-2}^* \geqq \cdots \] und infolgedessen \(a_0^*=a_0\) ist.