Proving the existence of the $n$th root by induction

Alvaro H. Salas S

In this paper we prove by induction on $n$ that any positive real number has $n$th root.