User blog comment:Wythagoras/Formal definition of BEAF/@comment-5150073-20130923165012

Can you please make a proof that $${L,n}_{n,n}$$ grows as fast as $$f_{\vartheta(\Omega^{\Omega^n})}(n)$$, and not $$f_{\vartheta(\Omega^{\Omega^2*n})}(n)$$?