已知数列aaa，a0=1,an=1+an−12−1an−1a_0=1,a_n=\frac{\sqrt{1+a_{n-1}^2}-1}{a_{n-1}}a0=1,an=an−11+an−12−1，求证an>π2n+2a_n>\frac{π}{2^{n+2}}an>2n+2π。
快快快，不然明天我得练脚力
