http://www.w3.org/ns/prov#value | - gowers Says: November 25, 2009 at 9:24 am | Reply If I understand correctly, this example is a special case of the general construction I talked about in the post: you take a number with bounded quotients in its continued-fraction expansion and take multiples of mod 1.
|