User blog comment:Rpakr/Value of 2↑↑5/@comment-32876686-20170913214027

Interesting, I wonder what is the first prime after 2^^^5 ?