MathNet 2018-part-07 — 177 problems (EN–VI) Question 95

Kevin starts with the vectors $(1,0)$ and $(0,1)$ and at each time step, he replaces one of the vectors with their sum. Find the cotangent of the minimum possible angle between the vectors after 8 time steps.