Product of a monotone increasing function and a monotone decreasing function Suppose $g:\mathbb{R} \rightarrow [0,\infty)$ is a strictly increasing function such that $\lim g(x) = \infty$ as $x \rightarrow \infty$.
Suppose $h:\mathbb{R} \rightarrow [0,\infty)$ is a strictly decreasing function such that $\lim h(x) = 0$ as $x \rightarrow \infty$.
Consider the product function $f(x)=g(x)h(x)$. Is it possible to construct such $g,h$ such that $f$ does not have a limit as $x \rightarrow \infty$?
Even better, can such an $f$ be constructed if we insist that $g(x)=x$?
 A: Take
$$ g(x) = x 2^{\lfloor x/2\rfloor}, h(x) = \frac{1}{x} 2^{-\lfloor (x+1)/2\rfloor} $$
The product oscillates between 1 and 1/2: let $f = g\cdot h$, $f(2n) = 1$, $f(2n+1) = 1/2$ for $n$ an integer. 
Edit: If you want $g(x) = x$. Take $h(x)$ to be the following (continuous) function: let $h(e^{2n}) = e^{-2n}$, and let $h(e^{2n+1}) = e^{-2n - \frac12}$, and linearly interpolate. Then $f(e^{2n}) = 1$ and $f(e^{2n+1}) =\sqrt{e} \neq 1$ for all natural numbers $n$. So $f$ does not have a limit. 
A: Define $h(x) = 3e^{-x}$ for $x < 1$, and $h(x) = 1/x$ for $x \geq 1$. Hence, $h$ satisfies the conditions in the question. Define $g(x) = (1/3) e^x$ for $x<1$, and for $x \geq 1$ define it piecewise as follows:
$g(x) = x + a_n$ for $n \leq x < n+1$, $n=1,2,3,\ldots$, where $a_n$ is a strictly increasing sequence with $a_1 = 0$. Hence, $g$ satisfies the conditions in the question. Now define $f(x)=g(x)h(x)$. Thus, for any $n \in \mathbb{N}$, $f(n)=(n+a_n)/n = 1 + a_n / n$. We can choose $a_n$ so that $a_n / n$ does not have a limit. For example, consider arbitrarily large $n$, and set $a_n = 2n$. Then, let $a_{n+k} = (2n+k)$, for $k = 1,\ldots,n^2$. Then, $a_n / n = 2$, but $a_{n+n^2}/(n+n^2) \approx 1$. Continue the same way to construct a sequence with $\lim \sup _{n \to \infty}(a_n/n) = 2$ but $\lim \inf _{n \to \infty}(a_n/n) = 1$. We conclude that $f(x)$ does not have a limit as $x \to \infty$.
A: You are greatly helped by the fact that $f$ and $g$ are not required to be analytic so you can easily look at $f$ and $g$ in some neighbourhood of infinity $(-\infty, -\varepsilon) \cup (\varepsilon, \infty)$ and not really care about their behaviour outside that neighbourhood :)
Fix $g$. In general, you need a function $f$ such that $\lim_{x\to\infty} f(x)g(x) < \infty$, which is to say that $f(x) = \frac{\alpha(x)}{g(x)}$, where $\alpha$ is bounded (in your terms, $\alpha = h/g^2$). It is not very hard to prove that such an $f$ exists for any continuous $g$. Just construct $f$ as $\frac{\alpha}{g}$ in some neighbourhood of infinity where $g(x) \neq 0$ and then continue $f$ to the rest of the domain (it is possible to do this in $C^\infty$ way).
This covers all monotonic functions in $C^0, C^1, \ldots, C^\infty$. The most interesting stuff is about the rest of them :)
