MathDB

On a table are given

n

markers, each of which is denoted by an integer. At any time, if some two markers are denoted with the same number, say

k

, we can redenote one of them with

k +1

and the other one with

k -1

. Prove that after a finite number of moves all the markers will be denoted with different numbers.

4