so Google did just forget to do an Erdős doodle then?