I already had thought of that: you have y - e< z < y. Take e to be 1/k with e going to infinity, then {z_k} cgt to y, but what can we really conclude from that? Is there any guarentee that a {z_k} is in the original seq?