Recursively Defined Sequence Formula