Pretty simple question. I always used this, because I know this holds, but to be honest I don't know why.
$$ \sum_{i=1}^n \sum_{j:j<i} \frac{1}{2} = \frac{1}{2} \sum_{i=1}^n (n-i)$$
So yeah as I said, I know this works. But I would like to have a logical explanation why I can exchange the second summation with (n-i). Thanks in advance for the answer.