pi_gif
logloglog n has been proved to go to infinity, but has never been observed to do so.
Anon

Factorial numbers