Hay un número natural n tal que a < n.