Forum:Rayo() Values

A lot of people have been trying to create lower bounds for BB(n). Now, why not Rayo(n)? I know that it's very hard to examine but why not? :P

My question is: What 'are' the smallest positive integers bigger than any finite positive integer named by an expression in the language of first order set theory with 1 or 2 symbols (respectively) or less? King2218 (talk) 14:25, March 25, 2014 (UTC)