-----------------
Takeuchi Function
-----------------

See https://en.wikipedia.org/wiki/Tak_(function)
