I thought this was a nice little piece of work particularly including Euler's formula as an added application of recursive cte's.