Rational numbers/Square root of 2/Irrational/Exercise