User blog comment:Wythagoras/Upper bound on the Buchholz hydra/@comment-25418284-20140507015710/@comment-10429372-20140507165339

I'll try it, but it'll be quite hard. Why won't you try it?