@mathnews Somehow all I can think about is BB(5) < order of the monster group M (about 10^53) < BB(6). Which really understates just how big BB(6) is (with no known upper bound, unless I missed something).