User blog comment:Wythagoras/The nineteenth Busy Beaver number is greater than Graham's Number!/@comment-80.98.179.160-20180112112637

\(\Sigma(17)>g_{64}\) is proven as of 2017.12.20.