AbstractA proof of an integral over the interval from 0 to infinity of the function $$\frac{1}{x^{\ln x}}$$ that I have derived.