Sea un subconjunto del intervalo $ (0,1) $ que contiene a $ 1/2 $ y tiene la propiedad de que si un número está en este subconjunto, entonces, tanto su mitad como la inversa de su sucesor están en el mismo subconjunto. Demuestra que este subconjunto contiene todos los números racionales del intervalo $ (0,1). $