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

How did you get \(D(2,0,n\uparrow\uparrow n) \gg f_{\epsilon_0}(n)\)?