Prauron : Oui, j'ai entendu parler de certaines techniques d'approche. Y en a qui passent par des probas, d'autres par l'étude d'une fonction qui y serait associée avec des nombres complexes (dafuq),...
M'enfin, je continue quand même d'y aller avec l'arithmétique jusqu'au bout, pour voir où sont les limites de cette théorie par curiosité.
Baptiste : Euh, ça revient à la même chose. Les antithèses sur l'unicité sont l'existence de plusieurs éléments répondant aux critères et la non-existence. Sur Z, on en connait déjà plusieurs comme -1>-2>-1, ou -5>-14>-7>-20>-10>-5. Pour N, en effet, c'est plus compliqué, il en existe pas en-dessous d'un log décimal de 20, si je ne m'abuse, d'après les recherches de Oliveira da Silva.
PassPass : Tu m'as donné envie de jeter un oeil sur cette démonstration 