No, because you are asserting that such a z < y exists without any proof (i.e. that the set of reals greater than x and the set of reals less than y share some element). You need to establish this fact first.
Hint: it's easier to construct a number between the two and show that it's a real...