Limit of x to the x/Proof 1

Theorem
Let $f: \R_{>0} \to \R$ be defined as:
 * $\forall x \in \R_{>0}: \map f x = x^x$

Then:
 * $\ds \lim_{x \mathop \to 0^+} x^x = 1$