I entered the following into the search box and came up empty: \lim_{n\to\infty}(1+\frac xn)^n
I'd like to know whether someone has posted this question: How does one prove that $$ \lim_{n\to\infty}\left(1+\frac xn\right)^n = e^x\text{ ?} $$
So two questions: (1) How to search for that?; and (2) Is it there?