Define the sequence recursively by and
Find an explicit formula for in terms of n.
Since this recurrence isn’t linear in , we define a subsequence to get rid of that square root in the hopes that the resulting sequence can be expressed as a linear recurrence.
We now construct a closed form expression for
Therefore, we see by construction that .