Corollary: Existence of Unique Integers Exceeding Real Numbers

(related to Axiom: Archimedean Axiom)

For every real number \(x\) there is a unique integer \(n\) such that \[n\le x < n+1.\]

Proofs: 1

Definitions: 1


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