Como los Naturales no están acotados superiormente, habrá un número entero n tal que a < n.