SMO 2017 Open Round 1 Question 20

Let $a_0=5$ and $a_{n+1}a_n=a_n^2+1$ for all $n\ge0$. Determine $[a_{1000}]$.

Source notation: $[t]$ denotes the greatest integer less than or equal to $t$.