Deductive sequence definition

We can define a sequence deductively.

This is otherwise known as finding a position-to-term rule for the sequence (i.e. u_n=2n^2+3n-4)