1. ## Rationality proofs

Prove or disprove

For every two rational numebers a and b with a<b, there exists a rational number r such that a<r<b.

$\displaystyle a < b\, \Rightarrow \,a < \frac{{a + b}} {2} < b$.