Prove that between any two rational numbers lies an irrationel number.
Proof
Let x,y be to rational numbers where x<y. By the Archimedian property there must exist a positive number n such that n*(y-x) > √(2). This we can rewrite
y-x > √(2)/n \Leftrightarrow
y > x + √(2)/n
We then...