Googology Is Always Fun

Level 2

Which is closest to the factorial of the factorial of a vigintillion ( 1 0 63 ) (10^{63}) ?

1 0 1 0 1 0 65 10^{10^{10^{65}}} 1 0 1 0 1 0 4 , 200 10^{10^{10^{4,200}}} 1 0 1 0 1 0 62 10^{10^{10^{62}}} 1 0 1 0 1 0 1 0 63 10^{10^{10^{10^{\sqrt{63}}}}} 1 0 1 0 63 10^{10^{63}} 1 0 1 0 3 , 800 10^{10^{3,800}}

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Michael Mendrin
Jun 20, 2018

Using Stirling's Approximation, let's roughly approximate n ! n! as ( n e ) n n n \left( \dfrac{n}{e} \right)^n \approx n^n . Then a factorial of a factorial of n n would be

( n n ) ( n n ) (n^n)^{(n^n)}

Letting n = 1 0 63 n=10^{63} , let's look at n n n^n , which becomes

( 1 0 63 ) ( 1 0 63 ) = 1 0 63 1 0 63 1 0 1 0 65 (10^{63})^{(10^{63})} = 10^{{63}\cdot 10^{63}} \approx 10^{10^{65}}

Now we do the factorial twice

( n n ) ( n n ) = ( 1 0 1 0 65 ) 1 0 1 0 65 = 1 0 1 0 65 1 0 1 0 65 = 1 0 1 0 65 + 1 0 65 1 0 1 0 1 0 65 (n^n)^{(n^n)}=(10^{10^{65}})^{10^{10^{65}}}= 10^{10^{65}10^{10^{65}}} = 10^{10^{65+10^{65}}} \approx 10^{10^{10^{65}}}

Note: Since e 1 0 0.43 e \approx 10^{0.43} , and if n = 1 0 p n=10^p , then ( 1 0 p 1 0 0.43 ) 1 0 p = ( 1 0 p 0.43 ) 1 0 p ( 1 0 p ) ( 1 0 p ) \left( \dfrac{10^p}{10^{0.43}} \right)^{10^p} = \left( 10^{p-0.43} \right)^{10^p} \approx (10^p)^{(10^p)} .

Please edit your last line to proper LaTeX.

X X - 2 years, 11 months ago

Log in to reply

I'll get back to that...

Michael Mendrin - 2 years, 11 months ago
Stefan Popescu
Jun 20, 2018

Sterling's approximation states that n ! 2 π n ( n e ) n n!\approx \sqrt{2\pi n}(\frac{n}{e})^n . But that's tedious (considering the large numbers you have here, since no one wants to raise numbers to the power of a vigintillion and take their square root and all that), so we can simplify that. On this scale, n ! n! is slightly larger than 1 0 n 10^{n} ; thus, ( ( 1 0 63 ) ! ) ! ((10^{63})!)! is slightly larger than 1 0 1 0 1 0 63 10^{10^{10^{63}}} , so 1 0 1 0 1 0 65 10^{10^{10^{65}}} would be the best choice here.

What topic would this be? There is no "googology section", so what could it be? Geometry? Definitely not. Algebra? Maybe. Computer science? Probably not.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...