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

I mean, the sum of (10^n-1)/9 over n=0~23024, is the bound on Sigma(5)!!!!!!!