“…Indeed, if this were not the case, for every j ∈ ((z − 2η)n, z n ), we would have W so that y n p n < r n < j n z n < l n and W (n) i = m n for every p n < i < r n . For the first inequality, note that p n < y n would imply W (n) y n m n and so min{i > y n : W (n) i W (n) y n } z n which, by (12), contradicts (13). In addition, for every n sufficiently large, s n −1 p n , n −1 j n < s + 2ε, n −1 j n − n −1 p n 2ε, t − 2ε < n −1 l n < t.…”