Archimedean Property: Explained with Proofs

The Archimedean property says the natural numbers are unbounded: for any positive real numbers x and y, some natural number n makes nx bigger than y. Equivalently, there are no infinitely large and no infinitely small positive real numbers — given any ε > 0, some 1/n is smaller than ε.

This matters because it rules out infinitesimals in ℝ and powers the most-used limit in analysis: 1/n → 0. It also proves that between any two real numbers there is a rational number, so ℚ sits densely inside ℝ.

Key Concepts

• ℕ is unbounded: no real number is bigger than every natural number.
• No infinitesimals: there is no positive real smaller than every 1/n.
• Density of ℚ: between any two distinct reals lies a rational number.
• Foundation for limits: the Archimedean property is what makes ε–N arguments about 1/n work.

Formulas

• Archimedean property: for all x, y > 0 there exists n ∈ ℕ with nx > y.
• Reciprocal corollary: for every ε > 0 there exists n ∈ ℕ with 1/n < ε.
• Integer ceiling: for every real x there is an integer n with n > x.
• Density: if a < b, choose n with 1/n < b − a; then some integer m gives a < m/n < b.

Worked Example

Prove that 1/n → 0 using the Archimedean property. Let ε = 0.0004. We need a natural number n with 1/n < 0.0004, which is the same as n > 1/0.0004 = 2500. Apply the Archimedean property with x = 2500 and y = 1: there exists n ∈ ℕ with n · 1 > 2500, for instance n = 2501. Then 1/2501 ≈ 0.0003998 < 0.0004, as required. Since the same reasoning works for any ε > 0, every ε-ball around 0 eventually contains all later terms — exactly the definition of convergence to 0. As a density example, find a rational between 3.1415 and 3.1416: the gap is 0.0001, and 1/10001 ≈ 0.00009999 < 0.0001, so some multiple m/10001 lands strictly between them.

Common Misconceptions

• It is obvious, so it needs no proof. It follows from the completeness axiom, not from the field axioms — there are ordered fields where it fails.
• It says every real is a natural number. No — it says naturals are unbounded, not that they cover everything.
• Infinitesimals exist "in the limit". In ℝ they do not exist at all; 1/n gets small but is never smaller than every positive real.

Real-World Applications

• Every ε–N limit proof involving 1/n leans on this property.
• Numerical methods rely on being able to choose step sizes smaller than any tolerance.
• The density of ℚ justifies approximating every real measurement by a fraction.

The Archimedean property keeps the real numbers free of infinite and infinitesimal elements. It is the quiet axiom behind 1/n → 0 and the density of the rationals.