User blog comment:WaxPlanck/Busy Beavers with Adaptive Lower Bounds/@comment-80.98.179.160-20171230195903/@comment-1605058-20171230202431

A certain Turing machine prints 23024 1s. This doesn't mean that Sigma(5) is at least 111...111 with 23024 1s, but rather, simply, that Sigma(5) is at least 23024.