Lecture 1: History and De Finetti's Theorem