Entonces, para todo r>0, hay un racional q tal que