13 Una sucesión $(u_{n})$ se define mediante \[ u_{0}=2 \quad u_{1}=\frac{5}{2}, u_{n+1}=u_{n}(u_{n-1}^{2}-2)-u_{1} \quad \textnormal{for } n=1,\ldots \] Demuestre que para cualquier entero positivo $n$ se tiene \[ [u_{n}]=2^{\frac{(2^{n}-(-1)^{n})}{3}} \] (donde $[x]$ denota el menor entero $\leq x)$