User blog comment:Deedlit11/A lower upper bound for the Graham's number problem/@comment-5150073-20131213093640/@comment-1605058-20131213161007

We are getting close :D