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

Yeaaaaaahhhh!!!

($$2 \uparrow\uparrow (2 \uparrow\uparrow (2 \uparrow\uparrow 9))$$, actually)