User blog comment:Simply Beautiful Art/Slightly better lower bounds to f 3 in the fast growing hierarchy/@comment-80.98.179.160-20180122172241

Sorry but we have that you find the lower bound of Q.E.D.