S_n désigne le groupe des permutations de {1,...,n}
On considère a1<a2<...<an et b1<b2<...<bn (toujours avec des inégalités larges)
Il s'agit de montrer que:
J'ai pensé le faire par récurrence, mais j'ai un problème lorsque je me ramène à une expression dans le but d'utiliser l'hypothèse de récurrence:
On a :
Le problème est qu'à ce stade le signe de la 3ème somme n'est pas connu, donc je ne peux conclure.
Si vous avez des idées pour essayer d'avancer, elles sont les bienvenues!!
