[Pista: Dejarf↑. Por Teorema3, todas las discontinuidades def corresponden a intervalos mutuamente disjuntos\(\left(f\left(p^{-}\right), f\left(p^{+}\right)\right) \neq \emptyset ...[Pista: Dejarf↑. Por Teorema3, todas las discontinuidades def corresponden a intervalos mutuamente disjuntos(f(p−),f(p+))≠∅. (¿Por qué?) Escoja un racional de cada uno de esos intervalos, de modo que estos racionales correspondan uno a uno a las discontinuidades y formen un conjunto contable (Capítulo 1, §9)].
