Ito’s lemma, also known as Ito’s formula, or Stochastic chain rule: Proof | quantpie | Podwise