User blog comment:Vel!/Call for math facts/@comment-5529393-20140730092437/@comment-10429372-20140730092843

Do you mean R(n,n) ~ n^^n, or is it something else?

Also, these are very interesting.