User blog comment:Wythagoras/Bounds for Rayo (not my work)/@comment-5150073-20141017075325/@comment-5150073-20141017112540

By the way, if we're able to code TMs with hundreds of FOST symbols, it's reasonable to say that Rayo(1000) > BB(1000).