How To Write A Recursive Definition For A Sequence