Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Any closed form known for $\lim \limits_{n \to \infty}\ \underbrace{\log_2 \log_2 \dots \log_2}_n\ \underbrace{3^{3^{\cdot^{\cdot^{3}}}}}_n$? Numerical evidence suggests that it is around $2.4440214614892$ and converges very fast, but I was not able to prove existence of this limit.

share|improve this question
1  
For what it's worth, it doesn't show up in Steven Finch's book, Mathematical Constants, and the sequence of digits doesn't show up in the Online Encyclopedia of Integer Sequences. Plouffe's Inverter also came up empty. –  Gerry Myerson Feb 8 '11 at 22:41
add comment

2 Answers

up vote 2 down vote accepted

The answer is "no" ... also see a Usenet sci.math discussion in July, 2009.

share|improve this answer
    
I think the discussion GE refers to is the one with subject header "Logarithm of repeated exponential." mathforum.org/kb/thread.jspa?messageID=6786389&tstart=0 is one way to get there. –  Gerry Myerson Feb 9 '11 at 4:32
add comment

Canceling the innermost operations, you see that the sequence is increasing. On the other hand, the related sequence in which you replace the tower of $3$'s by $10$ times that tower is decreasing for large $n$ (you can again cancel the innermost operations, but now with loss). This justifies both convergence and high speed (indeed, the factor of $10$ next to the tower of $3$'s is not going to be very noticeable after all those logarithms).

I doubt very much you have a nice closed form answer here and the whole thing looks more appropriate for AoPS than for MO, but OK, here are my 2 cents :).

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.