User blog comment:QueenBee333/bird´s array and BEAF comparisons/@comment-29065906-20181215203959/@comment-35470197-20181215232117

I guess that this BEAF is not the usual BEAF, but the shorthand of BusybEAverFunction, because the OP conjectures that it is greater than any computable function.