User blog comment:B1mb0w/Strong D Function Calculations/@comment-1605058-20150630143353

It's nowhere near true that $$f_{\omega}^{n.n\uparrow\uparrow n - n^2}(n) = f_{\epsilon_0}(n)$$.