This thread got me thinking...

Define and so on...

Now Define to be the smallest integer such that .

I've found some bounds of : it's easy to see and a delicate strong induction shows .

My question is, what the formula for , or at least what are some tighter bounds?

-Thanks!