Hey guys new to the forum and have a question of my own,

I need to prove that for x and y where x<y and both x and y are rational, there exists z where x<z<y and z is irrational.

the previous part of the question was to find the smallest positive integer n such that ((2)^1/2)/n < .00001

I think I'm supposed to use this and contradiction to prove one exists as contradiction was used in proofs in the question before

any help will be greatly apprecitated