Some tetration you got there

Calculus Level 4

f ( x ; n ) = x x . . x number of x ’s = n \Large f(x;n) = \underbrace{ x^{x^{.^{.^x}}} }_{\text{number of } x \text{'s } =\ n }


A positive integer n n is randomly chosen between 1 and 10000 inclusive for the function described above.

If p p denotes the probability that lim x 0 f ( x ; n ) = 1 , \displaystyle \lim_{x \to 0} f(x;n) = 1, what is the value of 1000 p ? \left \lfloor 1000p \right \rfloor?


The answer is 500.

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

Pi Han Goh
Mar 13, 2014

It's trivial that lim x 0 f ( x ; 1 ) = 0 \displaystyle \lim_{x \to 0} f(x;1) = 0 , apply L'hopital rule in the following limit

y = lim x 0 f ( x ; 2 ) ln y = lim x 0 x ln x = lim x 0 ln x 1 / x = lim x 0 1 / x 1 / x 2 = lim x 0 x = 0 y = e 0 = 1 \displaystyle y = \lim_{x \to 0} f(x;2) \Rightarrow \ln y = \lim_{x \to 0} x \ln x = \lim_{x \to 0} \frac { \ln x}{1/x} = \lim_{x \to 0} \frac{ 1/x}{-1/x^2} = \lim_{x \to 0} -x = 0 \Rightarrow y = e^0 = 1 , it's obvious that the left limit and right limit are equal so the limit is defined.

I claim that lim x 0 f ( x ; n ) \displaystyle \lim_{x \to 0} f(x;n) yields 0 0 and 1 1 for odd and even positive integers respectively.

For odd numbers, prove by Mathematical Induction, we have the basic step which is mentioned above.

Inductive step: let k k be a positive odd number such that

lim x 0 f ( x ; k ) = 0 \displaystyle \lim_{x \to 0} f(x;k) = 0 is true

Then k + 2 k+2 is the smallest positive odd number bigger than k k , denote M M as such

M = lim x 0 f ( x ; k + 2 ) = lim x 0 x x f ( x ; k ) = lim x 0 x x 0 = 0 \LARGE \displaystyle M = \lim_{x \to 0} f(x;k+2) = \lim_{x \to 0} x^{x^{f(x;k)} } = \lim_{x \to 0} x^{x^0} = 0 which is also true. Thus for all positive odd numbers M M , lim x 0 f ( x ; M ) = 0 \displaystyle \lim_{x \to 0} f(x;M) = 0

By using an analogous argument, we have for all positive even numbers N N , lim x 0 f ( x ; N ) = 1 \displaystyle \lim_{x \to 0} f(x;N) = 1

Because there's the same number of odd numbers and even numbers in the range of 1 1 to 10000 10000 inclusive. p = 1 2 1000 p = 500 p = \frac {1}{2} \Rightarrow \lfloor 1000p \rfloor = \boxed{500}

what's your proof that lim x 0 f ( x ; n ) \lim _{ x\rightarrow 0 }{ f\left( x;n \right) } is 0 if it's odd and 1 if it's even?

I think that lim x 0 f ( x ; n ) \lim _{ x\rightarrow 0 }{ f\left( x;n \right) } is 0 when n = 1, otherwise it is 1. Here's my proof:

it's a no brainer that lim x 0 f ( x ; 1 ) = 0 \lim _{ x\rightarrow 0 }{ f\left( x;1 \right) \quad =\quad 0 }

you've already proved that lim x 0 f ( x ; 2 ) = 1 \lim _{ x\rightarrow 0 }{ f\left( x;2 \right) \quad =\quad 1 }

now if you go beyond 2, then the expression is still 1, since we know that lim x 0 f ( x ; 3 ) = x x x \lim _{ x\rightarrow 0 }{ f\left( x;3 \right) \quad =\quad { x }^{ { x }^{ x } } } and x x = 1 a n d 1 x = 1 { x }^{ x }\quad =\quad 1\quad and\quad { 1 }^{ x }=1

s u b s t i t u t e x x w i t h 1 a n d y o u g e t lim x 0 f ( x ; 3 ) = 1 x = 1 substitute\quad { x }^{ x }\quad with\quad 1\quad and\quad you\quad get\quad \lim _{ x\rightarrow 0 }{ f\left( x;3 \right) \quad =\quad } { 1 }^{ x }\quad =\quad 1

therefore p = 9 , 999 10 , 000 t h e r e f o r e 1000 p = 999.9 p\quad =\quad \frac { 9,999 }{ 10,000 } \quad therefore\quad 1000p\quad =\quad 999.9

DPK ­ - 7 years, 2 months ago

Log in to reply

You're using the power function wrongly. You substitute it as such: ( x x ) x = x ( x 2 ) (x^x)^x = x^{(x^2)} , which is wrong. For example, 2 3 3 = 2 27 = 134217728 2^{3^3} = 2^{27}=134217728 is correct, while 2 3 3 = ( 2 3 ) 3 = 8 3 = 512 2^{3^3} = (2^3)^3 = 8^3 = 512 is wrong.

Pi Han Goh - 7 years, 2 months ago

Log in to reply

ah, I see, so that's why my answer is wrong. thanks for clearing that up

DPK ­ - 7 years, 2 months ago
Shourya Pandey
Mar 11, 2014

It is not hard to see that the given limit is 1 1 for even n n and 0 0 for odd n n . So p p is simply the probability of selecting an even number from 1 , 2 , . . . , 10000 1,2,..., 10000 , which is 0.5 0.5 . So the answer to the question is 500 500 .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...