Do we have nested square roots with initial and final term and infinite terms in between? For example $$\sqrt{2-\sqrt{2+\sqrt{2+\sqrt{2+\cdots+\sqrt{3}}}}}$$ which happens in modified Viète nested radical
Or nested radicals like general form as follows $$\sqrt{a-\sqrt{a+\sqrt{a+\sqrt{a+\cdots+\sqrt{b}}}}}$$ If there are, what is the proof?
Thanks in advance