ILL 1985 Problem 65

Define the functions $f, F : \mathbb N \to \mathbb N$ , by $$f(n)=\left[ \frac{3-\sqrt 5}{2} n \right] , F(k) =\min \{n \in \mathbb N|f^k(n) > 0 \},$$ where $f^k = f \circ \cdots \circ f$ is $f$ iterated $n$ times. Prove that $F(k + 2) = 3F(k + 1) - F(k)$ for all $k \in \mathbb N.$