Note that
Taking square roots on both sides, we have
Now suppose
and
. Then
and
, so we can simply write
This means
and substituting this into the root expression on the right gives
and again,
and again,
and so on. After infinitely many iterations, the right side will converge to an infinitely nested root,
We get the target expression when
, since
, which indicates the infinitely nested root converges to