I was trying to figure out how big 3^^^3 was, which led to the following interesting math result. How high would a power tower of 3′s have to be to surpass a googolplex raised to the googolplexth power? For what value of X is (3^^X)>(googolplex^^2)?
I don’t have the full answer, but an upper bound for X is 16. A power tower of 3′s 16 high is guaranteed to be vastly larger than a googolplex raised to itself. And when you consider that 3^^^3 is a power tower 7.6 trillion 3′s tall… it’s way larger than I thought.
Lemma: log [a,b,...,z] = log a^[b,...,z] = (log a) [b,...,z].
Definition: {n} := [3,...,3] with n 3′s.
Lemma: log {n} = {n-1}.
Definition: G := [10,10,100].
OK. So we want to know when {n} > [G,G]. Taking logs, this is the same as {n-1} > G log G = [10,10,100] log [10,10,100]. Taking logs again, it’s the same as {n-2} > log log [10,10,100] + log [10,10,100] which (unless it comes out amazingly close) is the same as {n-2} > log [10,10,100] = (log 10) [10,100]. Taking logs again, this is the same as {n-3} > log log 10 + log [10,100] = log log 10 + 100 log 10, which again is basically the same as {n-3} > 100 log 10, and now we’re in the realm of small numbers and we find that [3,3] is too small but [3,3,3] is way more than enough.
So I’m pretty sure the answer is that you need six 3s in your tower.
Since it’s easy to get this kind of thing wrong—which is why I introduced notation and lemmas intended to make the manipulations as simple as possible—I just did it again a different way (a couple of steps of algebra on paper, plus some ordinary floating-point arithmetic on a computer) and without the informal throwing away of much smaller bits. I can confirm that five 3s aren’t nearly enough and six 3s are way more than you need.
[EDITED to remove a definition and a lemma that I never actually used, and to add a little clarification.]
By the way, here’s the handwavy heuristic version that gives the right answer.
When you are comparing two exponentials with really big exponents, only the exponent really matters even if the difference in bases is huge (unless it’s really huge or the exponents are really close). So the following should all be the same:
3^(n)^3 versus G^10^10^100 where G = 10^10^100
3^(n-1)^3 versus 10^10^100
3^(n-2)^3 versus 10^100
3^(n-3)^3 versus 100
NB you can do all the foregoing in a single step: just cross out the 3 bottom levels.
and now we can see that 3^3 < 100 but 3^3^3 > 100, so n-3=3 and n=6.
If the detailed algebra in the parent isn’t enough to make “look at the exponent and ignore the bases” plausible, here’s another way to see it that happens to work neatly in this case:
because 10^100 + 100 is barely bigger than 10^100 at all. In fact it turns out that “teenytiny” is about 4 x 10^-99. So: the difference between 10 and 10^10^100 on the base is the same as the difference between 100 and 100 + 4e-99 three levels up.
I was trying to figure out how big 3^^^3 was, which led to the following interesting math result. How high would a power tower of 3′s have to be to surpass a googolplex raised to the googolplexth power? For what value of X is (3^^X)>(googolplex^^2)? I don’t have the full answer, but an upper bound for X is 16. A power tower of 3′s 16 high is guaranteed to be vastly larger than a googolplex raised to itself. And when you consider that 3^^^3 is a power tower 7.6 trillion 3′s tall… it’s way larger than I thought.
In what follows, all logs are to base 3.
Definition: [a,b,c,d] := a^(b^(c^d))), etc.
Lemma: log [a,b,...,z] = log a^[b,...,z] = (log a) [b,...,z].
Definition: {n} := [3,...,3] with n 3′s.
Lemma: log {n} = {n-1}.
Definition: G := [10,10,100].
OK. So we want to know when {n} > [G,G]. Taking logs, this is the same as {n-1} > G log G = [10,10,100] log [10,10,100]. Taking logs again, it’s the same as {n-2} > log log [10,10,100] + log [10,10,100] which (unless it comes out amazingly close) is the same as {n-2} > log [10,10,100] = (log 10) [10,100]. Taking logs again, this is the same as {n-3} > log log 10 + log [10,100] = log log 10 + 100 log 10, which again is basically the same as {n-3} > 100 log 10, and now we’re in the realm of small numbers and we find that [3,3] is too small but [3,3,3] is way more than enough.
So I’m pretty sure the answer is that you need six 3s in your tower.
Since it’s easy to get this kind of thing wrong—which is why I introduced notation and lemmas intended to make the manipulations as simple as possible—I just did it again a different way (a couple of steps of algebra on paper, plus some ordinary floating-point arithmetic on a computer) and without the informal throwing away of much smaller bits. I can confirm that five 3s aren’t nearly enough and six 3s are way more than you need.
[EDITED to remove a definition and a lemma that I never actually used, and to add a little clarification.]
By the way, here’s the handwavy heuristic version that gives the right answer.
When you are comparing two exponentials with really big exponents, only the exponent really matters even if the difference in bases is huge (unless it’s really huge or the exponents are really close). So the following should all be the same:
3^(n)^3 versus G^10^10^100 where G = 10^10^100
3^(n-1)^3 versus 10^10^100
3^(n-2)^3 versus 10^100
3^(n-3)^3 versus 100
NB you can do all the foregoing in a single step: just cross out the 3 bottom levels.
and now we can see that 3^3 < 100 but 3^3^3 > 100, so n-3=3 and n=6.
If the detailed algebra in the parent isn’t enough to make “look at the exponent and ignore the bases” plausible, here’s another way to see it that happens to work neatly in this case:
(10^10^100) ^ (10^10^100) = 10^(10^100 . 10^10^100) = 10^10^(100 . 10^100) = 10^10^10^102
so the difference between 10 and 10^10^100 on the base is the same as the difference between 100 and 102 three levels up!
… EDIT, on happening to reread this days later: No, I slipped up in the calculation above and the result is actually a lot closer.
(10^10^100) ^ (10^10^100) = 10^(10^100 . 10^10^100) = 10^10^(100 + 10^100) = 10^10^10^(100+teenytiny)
because 10^100 + 100 is barely bigger than 10^100 at all. In fact it turns out that “teenytiny” is about 4 x 10^-99. So: the difference between 10 and 10^10^100 on the base is the same as the difference between 100 and 100 + 4e-99 three levels up.