User blog comment:Cloudy176/Proving the bound for S(7)/@comment-29743408-20160831082555/@comment-29743408-20160901062149

A little error in the fourth line; it should be

4^(4^(4^(4^K))) < N < T < 4^(4^(4^(4^(K+4^(-31068920))))).