I have the task for my asymptotics class, which is to state whether $f(n) = e^{o(n)}$ the same as $f(n) = o(e^{n})$. I was assuming that it is, because we can present $f(n)$ as $f(n) = e^{g(n)}$, then, $f(n) = o(e^{n})$ means that $\lim \limits_{n\to\infty} \frac{f(n)}{e^{n}} = 0$, which means that $\lim \limits_{n\to\infty} \frac{e^{g(n)}}{e^{n}} = 0$, which means that $\lim \limits_{n\to\infty} {g(n) - n} = -\infty$, and as $g(n)$ is a positive function, that means that it is rising slower than $n$, then, $g(n) = o(n)$, then $f(n) = e^{o(n)}$. But then i googled and found this question, where on of the commenters claimed, that it actually isn't, and now I am stuck trying to explain why.
2026-04-06 06:12:41.1775455961
Is $f(n) = \mathrm{e}^{o(n)}$ the same as $\,f(n) = o(\mathrm{e}^{n})$?
305 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
$f(n)=e^{o(n)}$ means $f(n)=e^{na_n}$, with $a_n\to 0$.
$g(n)={o}(e^n)$ means $g(n)=b_ne^n$, with $b_n\to 0$.
Note that $$ f(n)=e^ne^{n(a_n-1)}=c_ne^n, \quad \text{and $c_n\to 0$}, $$ since $a_n<1/2$, for $n\ge n_0$, some $n_0\in\mathbb N$, as $a_n\to 0$, and hence $n(a_n-1)<-n/2$, and $c_n=e^{n(a_n-1)}\to 0$.
Then $f(n)=o(e^n)$ as well.
On the other hand $$ g(n)=b_ne^n=e^{n+\log b_n}=e^{n(1+\frac{\log b_n}{n})}, $$ and $1+\log b_n/n$ does not necessarily tend to zero, i.e., if $b_n=n^{-1}$, then $$ 1+\frac{\log b_n}{n}=1-\frac{\log n}{n}\to 1. $$ Hence $g(n)$ is not necessarily $e^{o(n)}$.