Maths Olympiad Prep

Library / PMO National Stage Oral Phase /6 of 24

PMO National Stage Oral Phase

Algebra Difficulty 4.4 AIME Prove it Philippines

Problem:
Let f(x)=ln⁡xf(x) = \ln x. What are the values of xx in the domain of (f∘f∘f∘f∘f)(x)(f \circ f \circ f \circ f \circ f)(x)?

Solution

Solution:
We have (f∘f∘f∘f∘f)(x)=ln⁡(ln⁡(ln⁡(ln⁡(ln⁡(x)))))(f \circ f \circ f \circ f \circ f)(x) = \ln (\ln (\ln (\ln (\ln (x))))).

The domain of this function must satisfy ln⁡(ln⁡(ln⁡(ln⁡(x))))>0\ln (\ln (\ln (\ln (x)))) > 0, which implies that ln⁡(ln⁡(ln⁡(x)))>1\ln (\ln (\ln (x))) > 1, ln⁡(ln⁡(x))>e\ln (\ln (x)) > e, ln⁡(x)>ee\ln (x) > e^{e}, and x>eeex > e^{e^{e}}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.