习题 10, 附录 0

证明存在递增函数 $f$，已定义、连续且$> 0$ 对于$x \geq 0$，使得$f(2x) = 2^{f(x)}$ 对于所有$x \geq 0$；由此推论，对于每个整数 $n$，$f(x) \gg e_n(x)$。