Skip to main content
2 of 2
added 26 characters in body
Fedor Petrov
  • 108.9k
  • 9
  • 264
  • 459

Yes, this is true and well known. One of the references I know is the problem book of B. Makarov, M. Goluzina, A. Lodkin and A. Podkorytov (Selected problems in real analysis, Translations of Mathematical Monographs 107, AMS 1992), problem II.1.25 (it is slightly different, but essentially the same).

An idea is that if, on the contrary, there are intervals $\Delta_k=[x_k,y_k]$ onto which $f$ is bounded, $x_k\to \infty$, then we may construct a nested family of closed intervals $T_i$, $T_1\supset T_2\supset T_3\dots$, and positive integers $n_1<n_2<\dots$, such that each interval of the form $n_iT_i$ is contained in some $\Delta_k$. Then for a common point $t=\cap T_i$ it appears that $f(nt)$ does not tend to infinity.

Fedor Petrov
  • 108.9k
  • 9
  • 264
  • 459