https://definitionxat.blogspot.com/2023/01/how-to-write-recursive-definition-for.html
How To Write A Recursive Definition For A Sequence