Let $a_1 = 1 +\sqrt2$ and for each $n \ge 1$ dene $a_{n+1} = 2 -\frac{1}{a_n}$. Find the greatest integer less than or equal to the product $a_1a_2a_3 ... a_{200}$.

Let's think step by step and output the final answer within \boxed{}.
user