  In this paper, we present a constructive proof of Herschfeld's Convergence
Theorem. Our formulation differs from Herschfeld's in a few ways: We consider
radicals that nest transfinitely many times, as these are essential to the
proof; additionally, we formulate the conditions for convergence in such a way
that a constructive proof is possible.
