User blog comment:Wythagoras/Googological problems I./@comment-5529393-20150128124722/@comment-5529393-20150130142304

Thanks! From Sbiis' article we can derive 2 [3] n < E(616+n)#(n-2).

So 2 [3] 2 [3] 15 < 2 [3] E631#13 < E(616+E631#13)#(E631#13-2). But, what is the best way to prove that this is less than 2^^2^^17?

I don't mean to nitpick, I am genuinely curious about what is the easiest way to prove these sort of things.