Lebesgue measure as the invariant factor of Loeb measure

There are a number of ways to construct the real numbers , for instance as the metric completion of (thus, is defined as the set of Cauchy sequences of rationals, modulo Cauchy equivalence); as the space of Dedekind cuts on the rationals ; as the space of quasimorphisms on the integers, quotiented by bounded functions. […]