User blog comment:DrCeasium/Hyperfactorial array notation: Analysis part 2/@comment-25418284-20130526184203/@comment-5150073-20130527090603

But if even using normal []'s we can overtake Bachmann-Howard ordinal, then we bypassed all so-far-defined BEAF, and hence [n] cannot be at level of {Ln,1}_b,p