Jump to content

Real numbers/Ordering axioms/Archimedean/Implications/Fact/Proof/Exercise

Show that in ℝ the following properties hold.

  1. For x>0 there exists a natural number n such that 1n<x.
  2. For two real numbers x<y there exists a rational number n/k (with n∈ℤ, k∈ℕ+) such that
    x<nk<y.