J'ai une idée de ""démo"".
sigma est une bijection de [1;n] dans [1;n].
On veut que sum(sigma(x)-x,x=1..n) soit maximale.
La distance entre deux éléments vaut au plus n. Entre 1 et n, donc on échange ces deux là. Une fois cette permutation effectuée, la distance la plus grande est entre n-1 et 2, donc on les échange, et etc...
Par contre pour écrire ça proprement j'ai du mal.