sequence of Lucas numbers