User blog comment:Googleaarex/Extended Factorial/@comment-5029411-20130328204343/@comment-1605058-20130328212244

n! is approximately f_2. n!_m diagonalizes through n!_(m-1), thus is one higher in hierarchy. Thus n!_4 should be around f_5(n)