# Existence of Dyadic Rational between two Rationals

## Theorem

Let $a$ and $b$ be rational numbers such that $a < b$.

Then there exist integers $m$ and $r$ such that:

$a < \dfrac m {2^r} < b$

That is, there exists a dyadic rational between any pair of rational numbers.