Bài tập 10, Phụ lục 0

Chứng minh rằng tồn tại một hàm tăng $f$, xác định, liên tục và $> 0$ với $x \geq 0$, sao cho $f(2x) = 2^{f(x)}$ với mọi $x \geq 0$; suy ra từ đó rằng $f(x) \gg e_n(x)$ với mọi số nguyên $n$.