User blog:WaxPlanck/Busy Beavers with Adaptive Lower Bounds