Citando Principios del Análisis Matemático (3ª Ed.) de Walter Rudin, página 10:
1.21 Teorema . Por cada real $x > 0$ y cada número entero $n > 0$ hay uno y sólo un real positivo $y$ tal que $y^n = x$ .
Prueba. Que hay como máximo una $y$ está claro, ya que $0 < y_1 < y_2$ implica $y_1^n < y_2^n$ . Sea $E$ sea el conjunto que contiene todos los números reales positivos $t$ tal que $t^n < x$ . Si $t = x/(1 + x)$ entonces $0 \leq t < 1$ . Por lo tanto, $t^n \leq t < x$ . Así, $t \in E$ y $E$ no está vacío. $\quad$ [se omite el resto de la prueba]
No sé dónde está el $\leq$ viene el signo, dado que $x > 0$ y $t$ es positivo.