普通にa[n]=√(1+√(2+…√n)…)になるんじゃないのか？

これ収束はするけど収束値の代数的記述は未解決らしい
https://mathworld.wolfram.com/NestedRadicalConstant.html