following license: English Real numbers with no unusually-accurate dyadic rational approximations URL: https://commons.wikimedia.org/wiki/User:David_Eppstein...
