Existe-t-il une permutation de tel qu’il n’existe qu’un nombre fini d’entiers vérifiant
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Supposons par l’absurde qu’il existe un entier tel que, pour tout , on ait .
Cela signifie donc que les antécédents de sont tous inférieurs strictement à .
Ils peuvent donc seulement être parmi . Mais par bijectivité, il faudrait antécédents, pas . Contradiction.
