1: \begin{abstract}

2: We give a constructive proof of Herschfeld's Convergence Theorem. The proof is based on simple and generalisable insights about concave/convex functions. Explicit convergence bounds are derived. A new special function is defined to enable one of these bounds to be expressed. We also generalise Herschfeld's result to infinite radicals that nest transfinitely many times.

3: 

4: \textbf{Keywords}: constructive proof; continued powers; numerical analysis; concave functions; reduction to lpo

5: 

6: \textbf{MSC codes}: 03F60, 26E40, 40A30, 65D15, 65D99

7: \end{abstract}

8: