Lucas sequence

mathematics