Let be a real number and an integer such that
for all (positive) real numbers with . (The exact value is not important. You could replace it with any "sufficiently small number".)
Find the ordered pair .
Problem 1639
Official solution
Solution:
Answer: This is essentially a problem about limits, but phrased concretely in terms of "small numbers" (like 0.1 and ).
We are essentially studying the rational function , where the "big-O" notation simply makes precise the notion of "error terms".
Intuitively, for "small nonzero ". (We could easily make this more precise if we wanted to, by specifying the error terms more carefully, but it's not so important.) So for "small nonzero ".
- If , will approach ("get very small") as approaches (often denoted ), so there's no way it can stay above the lower bound for all small nonzero .
- If , will approach ("get very large in the negative direction") as , so there's no way it can stay below the upper bound for all small nonzero .
- If , becomes approximately constant as . Since is an integer, we must have (as is the only integer within of ).