Pour x, y dans ]1, +inf[, l'équation x^y = y^x définit une fonction de classe C infini f telle que :
y = f(x) et f(x) != x si x != e
Une solution se trouve facilement, c'est le caractère C infini de f en e qui est difficile et qui se fait avec le théorème des fonctions implicites.