Loading paper
Log-concavity of Lucas Sequences of first kind | Tomesphere