After having proven that every Cauchy sequence is bounded, that for any positive real numbers x and y there is some natural number k such that kx>y, that for any positive real number x there is some rational number b such that