Mathematica解一个精巧的差分方程

Mathematica解差分方程很方便，记住一个词就可以了RSolve或者RSolveValue就可以了。以下这个例子比较特殊，存在解析解，但是软件算不出。

问题：
已知：
$$a[1]=\sqrt{\frac{1}{2}}$$
$$a[n+1]=\sqrt{\frac{(1+a[n])}{2}}$$
计算：
lim ⁡ n − > ∞ ( ∏ i = 1 n a [ i