User blog comment:Wythagoras/Upper bound on the Buchholz hydra/@comment-3427444-20140505134038

$$BH(4)$$ anyone?