lean_workbook_plus_15716

Prove that there is no function $f: \mathbb{N} \rightarrow \mathbb{N}$ satisfying $f(n) = f(f(n-1)) + f(f(n+1))$ for all $n > 1$.