02/21/2013, 11:37 PM
I came to realise that I am close to a proof that any formula of the form lim n-> oo ln^[n](f^[x](exp^[n])) for f^[1] entire , cannot be analytic. For certain the probability is at most 1/R where R is the cardinality of the continuum.