The times at which the forward bound has set in have positive density, so a window $[n, (1 + η) n]$ contains one; the extra steps cost $e^{(k - n) ∫ φ + o(n)}$ by Birkhoff's theorem.