Question

The integer sequence a1, a2, a3, . . . , defined explicitly by the formula an _ 5n for n ∈ Z+, can also be defined recursively by 1) a sub1 _ 5;