erdos_sos_conjecture