Corollary: Existence of Natural Numbers Exceeding Positive Real Numbers (Archimedian Principle)

(related to Axiom: Archimedean Axiom)

For every positive real numbers \(y > 0\) there exists a natural number \(n\) with \(y < n\).

Proofs: 1

Axioms: 1
Explanations: 2
Proofs: 3 4 5 6
Sections: 7


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983