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

Good work, but can you be more explicit with your proof? How does the isomorphism from hydras to ordinals prove your bound?

In other words, I'm requesting a thorough, self-contained proof of your bound, if it's not too much trouble.