User blog comment:Simply Beautiful Art/A better lower bound to f k in the fast growing hierarchy/@comment-80.98.179.160-20180124153926

I came here because I saw that you prove the lower bound of Q.E.D. But Q.E.D. is way larger than what can be described by finite ordinals.