erdos_ulam_rational_distances