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

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