Suppose $a$ is a positive real number. Prove that there exists a natural number $n$ such that $0 < 1/n < a$.

Question

Suppose $a$ is a positive real number. Prove that there exists a natural number $n$ such that $0 < 1/n < a$.

Could you guys help with this? I'm awful at writing proofs, I know why this is true but I don't know how to write the proof in a way that others could follow. Any help would be greatly appreciated. Thanks.

Answer 1

If $a$ is a real number, there must exist some positive rational number $q$ such that $0<q<a$ (why?).

Now, $q$ is rational, so $q=\frac{a}{b}$ where $a,b\in\mathbb N$.

Can you find a natural number $n$ such that $\frac1n \leq \frac ab$?

---

Another way to solve this is to take the decimal expansion of $a$, so $$a=0.a_1a_2a_3\dots$$

(we can assume that $a<1$, since if $a\geq 1$, we can take $n=2$ and be done with it).

Now, take $m=\min\{k|a_k\neq 0\}$, and it should be easy to show that $$b=\frac{1}{10^{k+1}}$$

is strictly smaller than $a$.

---

And another way: $1/n < a$ is true if and only if $n>\frac1a$, so you can take any natural number greater than $\frac1a$ (why does that exist?) and be done.

Answer 2

You can argue that the proposition requires $n > 1/a$. Since $1/a$ is fixed, and since natural numbers have no upper bound, there will alwas be an $n$ which satisfies $n > 1/a$.

You could also argue by contradiction: Suppose there is no such natural number $n$ which satisfies $n > 1/a$. Then for all natural number we must have $n \le 1/a$. This is a contradiction, since there is no upper bound for natural nunbers.

Answer 3

If $a\geq1$, then choose $n=2$

If $a<1$, then choose $n=\lceil1/a\rceil+1$

Note that this is true because $0<a<1\implies0<\frac{1}{\lceil1/a\rceil+1}<\frac{1}{\lceil1/a\rceil}\leq\frac{1}{1/a}=a$

Answer 4

To derive this we need to use the completeness of $\mathbb{R}$:

Every nonempty set of real numbers that is bounded above has a supremum in $\mathbb{R}$.

There are two approaches to this, the axiomatic approach (where it is an axiom) and the constructive approach (where it is a theorem). More information can be found in analysis texts.

Now we prove the Archimedean property of $\mathbb{R}$:

$\mathbb{N}$ is not bounded above in $x\in\mathbb{R}$. That is, for each $x\in\mathbb{R}$ there exists $n\in\mathbb{N}$ such that $n>x$.

For $x<0$ it is trivial. Suppose $x\geq0$. Let $A=\{n\in\mathbb{N}\ ;n\leq x\}$. By completeness we have $\sup A\in\mathbb{R}$. Obviously, there is $a\in A$ such that $\sup A-1/2<a$ (Why?), then let $n=a+1$ and $n>x$ and the theorem is proved.

Finally, we turn to the question:

For any real number $a>0$, there exists a natural number $n$ such that $0<1/n<a$.

We proceed using proof by contradiction. Let $0<1/n<a$ for all $n\in\mathbb{N}^{\times}$, then $n\leq 1/a$ for all $n\in\mathbb{N}^{\times}$. Thus $\mathbb{N}$ is bounded in $x\in\mathbb{R}$, contradicting the Archimedean property.