User blog comment:Naruyoko/My Utterly Obscure and Slowly Evolve-Growing Function-Notation-Whatever/@comment-27516045-20190216162507

 = \(f_0(f_1(n))\)