User blog comment:KthulhuHimself/Norminals Revisited./@comment-25601061-20160203001709/@comment-27513631-20160322114542

So what do we have?

]N[0(0) = 10]N[0(5+1) ? ]N[0(0) = 10]N[0(9324025+1) ? ]N[0(0) = 10]N[0(Rayo's Number +1)?