Prove that $\frac{\ln x}{x}+\frac{1}{e^x}<\frac{1}{2}$ for $x > 0$ 
Given $x>0$ , prove that $$\frac{\ln x}{x}+\frac{1}{e^x}<\frac{1}{2}$$

I have tried to construct $F(x)=\frac{\ln x}{x}+\frac{1}{e^x}$ and find the derivative function of $F(x)$ to find the maximun value, but I can't solve the transcendental equation.
So I tried another way.I tried to use the inequality $e^{-x}\le \frac{1}{x+1}$ (when $x>0$ ) to prove the inequality $\frac{\ln x}{x}<\frac{1}{2}-\frac{1}{e^x}$ , but I can't connect these two inequalities well, and I did't solve the problem in the end.
How can I do?

Let
\begin{align*}
f(x) &= e^{-x} + \frac{\log (x)}{x}, \\
f'(x) &= -e^{-x} + \frac{1 - \log (x)}{x^2}, \\
f''(x) &= e^{-x} + \frac{2 \log (x) - 3}{x^3}.
\end{align*}
We would like to show that $f(x) < 1/2$ for all $x > 0$.
Case 1. $0 < x \le 1$
Using the inequalities $e^x > x + 1$ and $\log(x) \le x - 1$,
$$ \begin{split}
\frac{x e^x}{2} (1 - 2 f(x))
&= \frac{1}{2} e^x (x-2 \log (x))-x \\
&> \frac{1}{2} (x + 1) (x - 2(x - 1)) - x \\
&= - \frac{1}{2} (x-1) (x+2) \\
&< 0.
\end{split} $$
Therefore, $f(x) < 1/2$.
Case 2. $1 < x \le 1.7$
We have $2 \log (x) - 3 < 0$.  Hence,
$$ \begin{split}
f''(x) &= e^{-x} + \frac{2 \log (x) - 3}{x^3} \\
&< e^{-1} + \frac{2 \log(1.7) - 3}{(1.7)^3}
\approx -0.0267 < 0.
\end{split} $$
(Such approximations can obviously be made rigorous by using interval arithmetic.)
Thus, $f'$ is strictly decreasing on $[1, 1.7]$.
Since
$$
f'(1) = 1 - \frac{1}{e} \approx 0.632
$$
and
$$
f'(1.7) = -e^{-1.7} + \frac{1 - \log(1.7)}{1.7} \approx -0.020,
$$
there is a unique $\alpha \in (1, 1.7)$ such that
$$ f'(\alpha) = -e^{-\alpha} + \frac{1 - \log (\alpha)}{\alpha^2} = 0 $$
and $f$ reaches its maximum on $[1, 1.7]$ at $\alpha$.  It can then be shown via interval arithmetic that $\alpha \approx 1.618$ and $f(\alpha) \approx 0.496 < 1/2$.
Case 3. $x > 1.7$
Let
$$
g(x) = x^2 f'(x) = -x^2 e^{-x} + 1 - \log(x).
$$
Then,
$$
g'(x) = \frac{e^{-x} \left(x^3 - 2x^2 - e^x\right)}{x}.
$$
It is left as an exercise for the reader to show that $x^3 - 2x^2 - e^x < 0$, so $g'(x) < 0$ for all $x > 0$.  But $g(1.7) < 0$, so for all $x > 1.7$, $g(x) < 0$ and thus $f'(x) < 0$.  Therefore, $f$ is decreasing on $[1.7, +\infty)$.
