Existence of Positive Root of Positive Real Number/Positive Exponent/Proof 1

Proof
Let $f$ be the real function defined on the unbounded closed interval $\hointr 0 \to$ defined by $\map f y = y^n$.

Consider first the case of $n > 0$.

By Strictly Positive Integer Power Function is Unbounded Above:
 * $\exists q \in \R_{>0}: \map f q \ge x$

Since $x \ge 0$:
 * $\map f 0 \le x$

By the Intermediate Value Theorem:
 * $\exists y \in \R: 0 \le y \le q, \map f y = x$

Hence the result has been shown to hold for $n > 0$.