Diophantine approximation
Starting from Hurwitz's theorem on Diophantine approximation, that any real number formula_3 has a sequence of rational approximations "m"/"n" tending to it with