User blog:WaxPlanck/Busy Beaver Number Lower Bounds