From the recursive formula:
we notice that the common difference of the sequence is -pi. Now we know that the first term is 7, then the explicit formula is:
when
We can relabel this sequence if we assume we start at zero, in this case the sequence will be:
when: