Ito’s lemma