y hay, por lo tanto, un natural n mayor que x−a (PropiedadAarquimediana).