Intro Ramsey theory