Soient x et y deux réels tels que 1 < x < y
Il existe un unique entier positif k tel que
(
(x puissance k) est strictement plus petit que y et que
y est plus petit ou égal à (x puissance (k+1))
S'il n'y a pas d'égalité, on peut répéter l'opération avec 1 < (y/xpuissancek) < x
On obtient ainsi une suite décroissante alternant des valeurs de la forme
une puissance de y sur une puissance de x,
une puissance de x sur une puissance de y
(ces puissances sont fonctions des k successifs trouvés lors des différents pas du processus)
