# Sum of Lucas numbers

The following formula holds: $$\displaystyle\sum_{k=1}^n L(k) = L(n+2)-3,$$ where $L(k)$ denotes the $k$th Lucas number.