a_0=\sqrt{2},a_{n+1}=\sqrt{2}^{a_n}