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

In whatever case, it's not true that $$f_{n\uparrow\uparrow n}(n)=f_{\varepsilon_0}(n)$$.