superiormente, habrá un número entero positivo n tal que a < n.