 Now, "r"/2 is a rational number greater than 0 and smaller than "r".But that contradicts the assumption that "r" was the "smallest" rational number (if ""r" is the smallest rational number" were "Q, then" one can infer from ""r"/2 is a rational number smaller than "r"" that ¬"Q".