Esto demuestra que formula_57, y como formula_58 y los naturales son asimilables a un conjunto de los racionales, tenemos la cadena de desigualdades: