User blog comment:Vel!/Call for math facts/@comment-5529393-20140730092437/@comment-1605058-20140730094447

I believe it's even slower than n^^n, but this is the point.