Bourbaki

Exercise 14, Appendix 0

Functions of a Real Variable, V, 266

Deduce from exerc. 13 that if ff is an (H) function such that log⁡f(ex)\log f(e^x) is of order <1< 1 relative to xx, the function f(xf(x))f(x f(x)) is equivalent to a function of the form eg(x)e^{g(x)}, where gg is a rational function of x,log⁡f(x)x, \log f(x), and of a certain number of derivatives of this last function.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.