Uniqueness of Positive Root of Positive Real Number/Positive Exponent/Proof 2

Proof
We have that:
 * $0 < y_1 < y_2 \implies y_1^n < y_2^n$

so there exists at most one $y \in \R: y \ge 0$ such that $y^n = x$.