Itō's lemma — identity in Itô calculus analogous to the chain rule