Finding out the limit $\lim_{a \to \infty} \frac{f(a)\ln a}{a}$ For any real number $a \geq 1$ let $f(a)$ denote the real solution of the equation $x(1+\ln x)=a$ then the    question is to find out $$ \lim_{a \to \infty} \frac{f(a)\ln a}{a}$$.
It is clear that if we denote $h(a)$ by $h(a)=a(1+\ln a)$ then $f(a)$ is the inverse function of $h(a)$. Also $f(a)$ is increasing function in its domain. Also the limit persuades using lhospital's but I cannot see how to apply it here. Thanks.
 A: We have,
$$f(a)(1+\ln f(a))=a$$
Hence,
$$f'(a)(1+\ln f(a))+f(a)\frac{1}{f(a)}f'(a)=1$$
So,
$$f'(a)=\frac{1}{2+\ln f(a)}$$
By l'Hopitals what we are interested in is,
$$\lim_{a \to \infty} \left( f'(a) \ln a+\frac{f(a)}{a} \right)$$
Again by l'Hopitals on the second limit because it is clear $f(a) \to \infty$ as $a \to \infty$, the use of the addition rule for limits will be justified by the end of this answer.
$$\lim_{a \to \infty} f'(a) \ln a+\lim_{a \to \infty} f'(a)$$ 
$$=\lim_{a \to \infty} f'(a)\ln a$$
Now substitute,
$$f'(a)=\frac{1}{2+\ln f(a)}$$
To get,
$$=\lim_{a \to \infty} \frac{\ln a}{2+\ln f(a)}$$
Utilize l'Hopitals
$$=\lim_{a \to \infty} \frac{f(a)}{af'(a)}$$
Substitute our expression for the derivative back in.
$$=\lim_{a \to \infty} \frac{f(a)(2+ \ln f(a))}{a}$$
Utilize l'Hopitals
$$=\lim_{a \to \infty} \left(f'(a)(2+\ln f(a))+f'(a) \right)$$
Substitute our expression for the derivative back in. 
$$=\lim_{a \to \infty} (1+f'(a))$$
$$=1$$
A: The function $g(x)=x(1+\ln x)$ defined over $[1,\infty)$ has derivative
$$
g'(x)=1+\ln x+1=2+\ln x>0
$$
and $\lim_{x\to\infty}g(x)=\infty$,
so the function is increasing and therefore it has an inverse function defined over $[g(1),\infty)=[1,\infty)$. Its inverse is exactly the function $f$ you have to analyze the behavior of.
Now you can use the substitution $a=g(x)$ so the limit becomes
$$
\lim_{x\to\infty}\frac{x\ln(g(x))}{g(x)}=
\lim_{x\to\infty}\frac{x\ln\bigl(x(1+\ln x)\bigr)}{x(1+\ln x)}=
\lim_{x\to\infty}\frac{\ln x}{1+\ln x}+
\lim_{x\to\infty}\frac{\ln(1+\ln x)}{1+\ln x}=1
$$
A: You should try to look for an equivalent of $f(a)$ or $\ln(f(a))$:
First as you said f is an increasing function, and: $\lim f = + \infty$
So you have: $f(a)[1+\ln(f(a))]=a \implies f(a)\ln(f(a))$~$a$
Here it means: $f(a)\ln(f(a))= a + o(a) = a[1+ o(1)]$
You might want to consider the $\ln$ on both sides
Edit
I'll detail o() and ~ notations so that you can understand here why it can be nice to use it:
Let f and g be two real valued functions:

*

*f(x) = o(g(x)) when $x \rightarrow + \infty $ means: $\forall \epsilon >0 , \exists A \in R :x>A \implies |f(x)|< \epsilon|g(x)|$
If g never cancels, it's equivalent to: $\lim \frac{f(x)}{g(x)} = 0 , x \rightarrow + \infty$
Likewise you can define this notion when $x \rightarrow a , a \in R$ if for instance g diverges in a. f is said to be negligible compared to g.

*

*f(x) ~ g(x) when $x \rightarrow + \infty$ means : $f(x) = g(x) + o(g(x))$
When g never cancels it's the same as: $\lim \frac{f(x)}{g(x)} = 1 , x \rightarrow + \infty$
f is then said to be equivalent to g in $+ \infty$.
Likewise, the notion extends to the case where $x \rightarrow a , a \in R$.
Now since you're not familiar with this i can show you why it's nice to use it sometimes, like here:
$f(a)[1+\ln(f(a))]=a , f(a) \rightarrow +\infty$ when $a \rightarrow +\infty$:
1 is then negligible compared to ln(f(a)), and:
$1= \frac{f(a)[1+\ln(f(a))]}{a} = \lim_{a\rightarrow +\infty} \frac{f(a)\ln(f(a))}{a}$
So you have: $f(a)\ln(f(a)) \sim_{a\rightarrow +\infty} a$
So using the above definition you end up with what i had :
$f(a)\ln(f(a))= a + o(a) = a[1+ o(1)] $
where $o(1)$ is a function that verifies: $o(1) \rightarrow 0$ when $a\rightarrow +\infty$
See the nice thing is that you can manipulate an equation easily now, so if you use $\ln$ on both sides:
$\ln[f(a)\ln(f(a))] = \ln(f(a))+ \ln(\ln(f(a))) = \ln(a) + \ln[1+o(1)]$
You know that $\ln$ is continuous, and $\ln(1)=0$ so $\ln[1+o(1)]\rightarrow_{a\rightarrow +\infty} \ln(1)=0 \implies \ln[1+o(1)]=o(1)$ , when $a\rightarrow +\infty$
So you get: $\ln(f(a))+ \ln(\ln(f(a))) = \ln(a) + \ln[1+o(1)] = \ln(a) + o(1)$
Finally, since: $\frac{\ln x}{x}\rightarrow 0$ , when $x\rightarrow +\infty$ :
$\frac{\ln(\ln(f(a)))}{\ln f(a)} \rightarrow 0$ when $a\rightarrow +\infty$
So the equality writes:
$\ln(f(a))+ \ln(\ln(f(a))) =\ln(f(a))+o(\ln(f(a))) = \ln(a)+o(1) \implies \ln(a) = \ln(f(a)) + o(\ln(f(a))) -o(1) =\ln(f(a)) +o(\ln(f(a))) $
Since o(1) is also negligible compared to $\ln(f(a))$ so it is a $o(\ln(f(a)))$
Hence you have: $\ln(a)=\ln(f(a)) +o(\ln(f(a)))$ and this means exactly here that:
$$\lim_{a\rightarrow +\infty} \frac{\ln(a)}{\ln(f(a))}=1$$
Now you can find the limit...
It's a bit long sorry but hopefully you will see why this can be powerful once you're comfortable with the notions :)
A: For the time being, this is totally off-topic.
$$x(1+\ln x)=a\implies (xe)\ln(xe)=ae \implies x=\frac{a}{W(e a)}$$ where appears Lambert function. This makes
$$\frac{f(a)\ln (a)}{a}=\frac{\ln (a)}{W(e a)}$$ In the Wikipedia page, you will notice that, when $t\to \infty$, $W(t)\sim \ln(t)$ which makes $$\lim_{a \to \infty} \frac{f(a)\ln a}{a}\sim \lim_{a \to \infty}\frac{\ln(a)}{\ln(ae)}=\lim_{a \to \infty}\frac{\ln(a)}{\ln(a)+1}=1$$
