User blog comment:Wythagoras/Some function related to Loader's./@comment-11227630-20140719125717/@comment-11227630-20140719133631

Well, I mean

This function: \(f_{C(C(\cdots C(C(\Omega_n^2,0),0)\cdots,0),0)}(n)\) with n C's in Taranovsky's notation.