Which of the following two examples is the correct use of the $\rightarrow$ "tends to" relation?
Example 1
$$ \lim_{n \rightarrow \infty} \frac{\pi(n)}{n/\ln(n)} = 1 $$
Example 2 $$ \lim_{n \rightarrow \infty} \frac{\pi(n)}{n/\ln(n)} \rightarrow 1 $$
If both are valid, or conventional, please do state in which contexts the traditions exist.