Lecture 13 SDE and Ito ’ s formula ∗