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

So 10^10^10^10^18705351 < S(7) < 10^10^10^10^18705352.