Exercise 10, Appendix 0

Show that there exists an increasing function $f$, defined, continuous and $> 0$ for $x \geq 0$, such that $f(2x) = 2^{f(x)}$ for all $x \geq 0$; deduce from this that $f(x) \gg e_n(x)$ for every integer $n$.