Slog(Exponential Factorial(x))

[Gottfried]

Numbers worked out with the Kneser method.

Just a general remark: since we don't have an "accepted" Kneser-Method it would be good to always mention *which* implementation one uses. For instance, Sheldonison's method is not yet *proven* to implement Kneser (which is what Sheldonison always stated, although he is confident that it is). My q&d polynomial method (based on Carlemanmatrices, but truncated ones) *seems to give* an approximation to sheldonison's values, but as well it is not proven to claim such an asymptotic at all.   For instance in my msgs in MSE and MO I always state it explicitely, that neither the Sheldon's nor my is proven to approximate the true Kneser-solution.       

I think this is not "nitpicking" but helpful for the readers, not falsely to assume they would "stand on the shoulders of giants" when they derive conclusions and lemmas and theorems based on  the found values...              

Gottfried