Irrational numbers/Structural properties/Exercise