Do solo l'idea perché è un po' un'apocalisse di conti
Non pretendo che controlli tutto, anzi, figurati se non mi sarò confuso da qualche parte!
Testo nascosto, fai click qui per vederlo
Detta $f(x)$ la funzione a primo membro, si ha:
$$f'(x) = \log \left( \frac{1}{\epsilon \sqrt{x}}\right) + \frac 12 ,$$
e ciò mostra che $f$ è crescente fino al punto $\frac {e}{\epsilon^2}$, dove assume il valore $\frac{e}{\epsilon ^2}(1 + \frac{1}{\sqrt{e}})-1$, che è positivo per $epsilon$ piccolo. Inoltre, poiché
$$ \lim_{x \to 0*+} f(x) = -1,$$
$$ \lim_{x \to +\infty} f(x) = -\infty,$$
il primo punto è dimostrato.
Per quanto riguarda il secondo punto, direi che posso applicare il teorema fondamentale del calcolo integrale e ottenere
$$\int^{x(\epsilon)}_{0} f'(x) = +1$$
(non so se sia legale, visto che la derivata esplode in $0$, ma credo che si ottenga un risultato equivalente considerando gli integrali a partire da punti poco più a destra di $0$ e poi passando al limite).
Poiché dallo studio della derivata seconda si ottiene che $f'$ è decrescente fino al punto di massimo di $f$, concludo che $f'(x(\epsilon)) \leq \frac{1}{x(epsilon)}$. Questo vuol dire
$\log( \frac{1}{\sqrt{x(\epsilon)}})- \frac{1}{x( \epsilon )} - \log (\epsilon) + \frac{1}{2} \leq 0$.
Ora, studiando un po' la funzione a primo membro (chiamiamola $g(x)$), si vede che è negativa su un'unione di due intervalli della forma $(0, x_1) \cup (x_2, +\infty)$, e in realtà l'intervallino di destra si può scartare perché $x_2$ è a destra del punto di massimo di $f$. Tuttavia si vede che $g(-\frac{1}{\log(\epsilon)))$ è sempre positivo per $\epsilon \to 0$, e quindi deve valere $x(\epsilon) < (-\frac{1}{\log(\epsilon)})$; quindi tende a $0$.
Per il terzo punto, usiamo che $f' = -\log(\epsilon) - \frac{1}{2} \log(x) + \frac{1}{2} \leq -\log(\epsilon) + \frac{1}{\sqrt x} + \frac{1}{2}$, Integrando e "ponendo le condizioni iniziali", ottengo che $f(x) \leq -x \log(\epsilon) - 2 \sqrt(x) + \frac{x}{2} -1$. Quindi il primo zero di $f$ viene dopo del primo zero della funzione $h(x)$ a membro di destra, che è polinomio di secondo grado in $\sqrt(x)$, e quindi facilmente trattabile. Dovrebbe uscire fuori che il primo zero di $h(x)$ è asintotico a $\frac{1}{-\log(\epsilon)}$, e questo dovrebbe risolvere il terzo punto.