 Solution

Fix $t>0$, a deterministic partition of an interval $\pi$, and write $\eta (s)=t_j$ on $[t_j,t_{j+1})$. Its mesh is $|\pi |={\max }_j(t_{j+1}-t_j)$. The Brownian increment variance givesThus the left-endpoint sums ${\sum }_j{B}_{t_j}\Delta B_j$ converge in L2 space to the Itô integral. Although these step coefficients are unbounded, clipping them at finite levels first makes them bounded simple predictable processes; the Itô isometry and their finite second moments remove the clipping.

The elementary identity $B_{t_{j+1}}^2-B_{t_j}^2=2B_{t_j}\Delta B_j+(\Delta B_j{)}^2$ givesThe squared Brownian increments are independent, with means $\Delta t_j$ and variances $2(\Delta t_j{)}^2$, since a centered normal random variable of variance $v$ has fourth moment $3v^2$. ThereforePassing to the convergence in L2 limits yieldsThis holds for each fixed $t$; continuous sample paths of both sides extend equality from rational times to all $t$ on one event of probability one.