User blog comment:P進大好きbot/Evaluation of Analysis/@comment-11227630-20181120084906/@comment-11227630-20181120105225

BEAF is ill-defined beyond n^^n&n. I have seen many attempts to formalize it beyond n^^n&n, but no one went beyond {n,n/2}.