geckos3814 geckos3814 27-12-2022 Business contestada he's not eudoxus, but he names a property stating that there exists a natural number greater than a given real number.