# Lucas numbers

The Lucas numbers, $L \colon \mathbb{Z} \rightarrow \mathbb{Z}$, is the solution to the following initial value problem: $$L(n+2)=L(n)+L(n+1), \quad L(0)=2, L(1)=1.$$