Prove that:
![]()
to reverse summation order we only play with inqualities. (this trick is also useful when reversing integration order on double integrals.)
thus, for both sums, we have&
now just combine these inequalities to get
and finally split this multiple inequality into two ones to get the desired order of summation.