# Existence of infinitesimal function

Prove that exist function $\varphi :\left( {0,\varepsilon } \right) \to \mathbb{R}$ such that $$\mathop {\lim }\limits_{x \to {0^ + }} \varphi \left( x \right) = 0,\mathop {\lim }\limits_{x \to {0^ + }} \varphi \left( x \right)\ln x = - \infty .$$ I think $\varphi \left( x \right) = \frac{1}{{\ln \left( {\ln \left( {\Gamma \left( x \right)} \right)} \right)}}$ is fine. But i can't check that. If we replace $ln$ by $f\left( x \right)$ such that $\mathop {\lim }\limits_{x \to {0^ + }} f\left( x \right) = - \infty$, can we find $\varphi$?

Let $f$ be such that $\lim_{x\to0+} f(x)=-\infty$ Let $\phi (x)=\frac 1 {\sqrt |f(x)|}$. Then $\phi (x) \to 0$ and $\phi (x) f(x) \to -\infty$ (because $|\phi (x) f(x)|=\sqrt {|f(x)|}$ and $\phi (x) f(x)$ has the same sign as $f(x))$. This answers the second part and the first part is a special case when $f(x)=\ln (x)$.
• What is $f$ in this answer? – Ethan Bolker May 27 '18 at 13:44
• @EthanBolker look at the last part of the question where $f$ is given. The first part is only a special case so my construction answers both parts. – Kavi Rama Murthy May 28 '18 at 5:37
I guess you want something that shrinks to zero, but does so slower than $\ln$ grows. So what about $$\varphi(x) = |\ln(x)|^{-1/2}$$ I think that should work.