Page "Itō's lemma" Paragraph 36

A formal proof of the lemma requires us to take the limit of a sequence of random variables, which is not done here.

Instead, we give a sketch of how one can derive Itō's lemma by expanding a Taylor series and applying the rules of stochastic calculus.