Define a sequence recursively by and for all nonnegative integers Let be the least positive integer such that In which of the following intervals does lie?
- A)
- B)
- C)
- D)
- E)
Answer
C
Key insight
Set y_n = x_n - 4: then y_{n+1} = y_n (y_n + 9)/(y_n + 10), a shrink factor between 9/10 and 10/11, so (9/10)^n <= y_n <= (10/11)^n.
Solution
The target suggests measuring the distance from . Let , so . Then
For the factor lies between (at ) and (at ), so stays positive, decreases, and satisfies
We need the first with .
- Lower bound on : , so , hence and .
- Upper bound on : , so , hence and .
Thus , which lies inside .
The answer is .
Why this works
A rational recursion that converges to a fixed point is best studied through the error term ; factoring reveals the per-step contraction ratio. Since the ratio is trapped in a narrow band, the error decays geometrically at a known rate, and two crude power comparisons ( and ) squeeze into a range far narrower than the answer intervals. The intervals are powers of apart precisely so that rough bounds suffice.
The trap
Trying to compute terms exactly, or bounding with only one side of the ratio and landing in the wrong interval.
Common mistakes
- Trying to compute terms exactly, or bounding with only one side of the ratio and landing in the wrong interval.
- Working with itself and thinking it approaches "quickly" (guessing (A)) because already looks close.
Techniques
Bound the quantity above/below or estimate to pin it down · Substitute to simplify (u = x+1/x, shifting, scaling)