Proof that there are infinitely many positive rational numbers smaller than any given positive rational number. I'm trying to prove this statement:- "Let $x$ be a positive rational number. There are infinitely many positive rational numbers less than $x$."
This is my attempt of proving it:-
Assume that $x=p/q$ is the smallest positive rational number. 
Consider $p/q - 1$
       $= (p-q)/q$
Case I: $p$ and $q$ are both positive
Then, $p-q<p$
And hence, $(p-q)/q < p/q$
Since $p$ and $q$ are integers, $(p-q)$ is also an integer. Thus, $(p-q)/q$ is a rational number smaller than $p/q$. Therefore, our assumption is wrong, and there always exists a rational number smaller than any given rational number $x$.
Case II: $p$ and $q$ are both negative
Then, let $p/q = -s/-t$, where $s$ and $t$ are both positive integers.
Then, $-s-(-t)>-s \implies (-s+t)/-t < -s/-t \implies (p-q)/q <p/q$ 
Since $p$ and $q$ are integers, $(p-q)$ is also an integer. Thus, $(p-q)/q$ is a rational number smaller than $p/q$. Therefore, our assumption is wrong, and there always exists a rational number smaller than any given rational number $x$.
Q.E.D
Is my proof correct? And there are a couple of questions that I've been pondering over:-
1) How do I justify the subtraction of $1$ from $p/q$? I mean, I assumed that $p/q$ is the smallest rational number, so how do I even know if this operation is valid?
2) I proved that there always exists a smaller rational number given any positive rational number. But how do I prove that there's always a smaller positive rational number?
3) Also, I don't seem to have proved that there are infinitely many smaller rational numbers than $x$. If I use a general integer $k$ instead of $1$, this would be taken care of, right? But then again, how do I justify this subtraction?
I'd be really grateful, if someone could help me with this! Thanks!
 A: Before diving into a proof right away, it might help to think of some examples and generalizing a pattern you find. For example, suppose $x=1/3$. Can you think of a smaller positive rational number? Well, we could do a bunch of things to make a fraction smaller. We could try decreasing the numerator $-$  but as you discovered, things might not work out if the numerator is already very small. Instead, we can try increasing the denominator. Indeed, since the integers are unbounded above, this is always possible.

Proof. We proceed by contradiction. Suppose instead that there are only finitely many positive rational numbers less than $x$. Now let $y$ be the smallest of these positive rational numbers. Observe that $y=p/q$ where $p,q\in \mathbb{Z}$ and $p,q>0$. Now consider the number:
  $$
z=\dfrac{p}{q+1}
$$
  Observe that since $q+1\in \mathbb{Z}$ and $q+1>1>0$, we know that $z$ is a positive rational number. But then we have $z<y$, contradicting the minimality of $y$. Hence, there are infinitely many positive rational numbers less than $x$, as desired.

A: First, you don't need Case II. If $x\in\mathbb Q_{>0}$, then you can assume, that $x=\frac{p}{q}$, where $p,q>0$.
Your general idea is good: Assume, that $x$ is smallest possible and find an even smaller one, which then is a contradiction. Now let's answer your questions:
2) You already noticed, that you only proved that there is a smaller rational number, not necissarily positive. Your proof is basically "If $x$ is the smallest, then $x-1$ is smaller, a contradiction." 
1) Of course, this a valid operation, it actually disproved your assumption, that $x$ was the smallest rational number.
3) is right, too. With an arbitrary $k$, you get infintely many smaller rationals.
To prove the positive case, notice, that if $x\in\mathbb Q_{>0}$, then $0<\frac{x}{k}<x$ for all $k\in\mathbb Z$.
A: Your proof does not work. Indeed, subtracting $1$ from $\frac p q$ will give you a rational number, but it will be negative by assumption, so this doesn't help you (since it doesn't give you a contradiction).
A simpler approach: Explicitly state what the infinitely-many positive rationals less than $x$ are.
Hint: If $y$ is a positive rational, what can you say about $\frac{y}2$? About $\frac{y}4$? $\frac{y}8$? ...
A: There is no way to justify the subtraction of $1$: If $\frac{p}{q}\lt 1$, and $p$ and $q$ are positive, then indeed you showed correctly that $\frac{p-q}{q}\lt \frac{p}{q}$.
However, you did not show that $\frac{p-q}{q}$ is positive, and it will not be, for instance, if $p=3$ and $q=5$. 
A: I would first prove that there is a rational number between any two (by taking an average $(p_{1}/q_{1} + p_{2}/q_{2})/2$) and then apply that to the number we claim to be the smallest and zero.
A: if $\frac{p}{q} > 0$. 
(Consider $p,q >0$ or |p|,|q|)
You have: 
$$ 0 < \frac{p}{q+1} < \frac{p}{q}$$
$$ 0 < \frac{p}{q+2} < \frac{p}{q}$$
......
$$ 0 < \frac{p}{q+n} < \frac{p}{q}$$
$$\forall n \in \mathbb{N}  .  \ 0 < \frac{p}{q+n} < \frac{p}{q}$$
