Discrete mathematics seminar: A solution to Erdős and Hajnal's odd cycle problem