Real Archimedean Property

Are the integers bounded above by a real number? Nope. It turns out that for every real number, there exists an integer that exceeds it. We prove this property, called the Archimedean property, using a semi-secret but crucial property of the real numbers called Dedekind completeness.