ag-gipp/GoUldI

F_{n+1}=\sum_{k\leq n}\binom{n-k}{k},\quad n\geq 0