Archimedean Property
For any real x there is an integer n > x.
Key idea
For any real x there is an integer n > x.
In depth
For any real x there is a natural number n > x; equivalently, for ε > 0 there is n with 1/n < ε. It says there are no infinitely large or infinitely small real numbers, and follows from completeness.
Worked example
Given ε = 0.001, choose n = 1001, then 1/n < ε.
Real-world uses
- Showing that any small measurement can be repeatedly added to exceed a large target
Common mistake
Assuming it is automatic in all ordered fields; non-Archimedean fields exist.
How to learn this
- Read the key idea and say it in your own words.
- Work through the worked example, then try a similar problem.
- Use the interactive lesson’s visual and mini-quiz to check the pattern.
Frequently asked questions
What is Archimedean Property?
For any real x there is an integer n > x. It is a topic at the expert level in Analysis & Topology.
Where is Archimedean Property used in real life?
Real-world examples: Showing that any small measurement can be repeatedly added to exceed a large target.
What should I learn before Archimedean Property?
Make sure you are comfortable with Completeness and Supremum, the previous topic in Analysis & Topology.
What is a common mistake with Archimedean Property?
Assuming it is automatic in all ordered fields; non-Archimedean fields exist.
How can I practise Archimedean Property?
Open the interactive lesson, play with the visual, then answer the three-question mini-quiz. Getting two right marks the topic complete.
What comes after Archimedean Property?
Move on to Density of Rationals next.
Related expert topics in Analysis & Topology
- Axioms of the Real Numbers – ℝ is a complete ordered field.
- Completeness and Supremum – Every nonempty bounded-above set has a least upper bound.
- Density of Rationals – Between any two reals there is a rational.
- Sequences and Convergence (ε–N) – aₙ → L if for every ε>0 eventually |aₙ − L| < ε.
- Limit Theorems for Sequences – Algebra of limits and squeeze theorem.
- Monotone Convergence Theorem – Bounded monotone sequences converge.