Vertrekkend van de opgave, als:
\(e^{g\left( x \right)} = x^x \Leftrightarrow \log \left( {e^{g\left( x \right)} } \right) = \log \left( {x^x } \right) \Leftrightarrow g\left( x \right) = x\log x\)
Zodat het de functie y = x.log(x) betreft, die we bekijken voor x in [0,1/e].
Daar is er ook een inverse functie, die we impliciet kunnen schrijven als x = y.log(y).
Van die functie, die we f(x) noemen, zoeken we de volgende integraal:
\( \int_{-\frac{1}{e}}^0 f(x) dx\)
Probleem: we hebben de functie niet als y = f(x). Verduidelijkend plaatje:
In het rood is g(x), in het blauw f(x) (er is wel "teveel" getekend natuurlijk).
Het te integreren gebied is in het rood aangeduid, maar door spiegelsymmetrie (inverse functies) is dit ook het gele gebied. Dat gele gebied is op zijn beurt precies het vierkant (waarvan de zijden lengte 1/e hebben; geel + groen), vermindert met het groene stuk. Dat groene stuk is gemakkelijk te bepalen, dat is precies de integraal van die rode curve van 0 tot 1/e, met een minteken. Het vierkant heeft oppervlakte (1/e)² zodat het gele, en dus ook het rode, gegeven wordt door:
\(\left( {\frac{1}{e}} \right)^2 + \int\limits_0^{e^{ - 1} } {x\log x} dx = e^{ - 2} - \frac{3}{4}e^{ - 2} = \frac{{e^{ - 2} }}{4}\)