Set and . On a fixed horizon , the Itô formula and Itô product rule give
The drift vanishes by the partial differential equation. This makes a continuous local martingale. Since ,
The right side is a finite deterministic bound under the stated boundedness assumption, so the dominated convergence theorem removes a localizing sequence and is a true martingale. If the derivatives are also bounded, the Itô isometry alternatively proves the stochastic integral is square-integrable because .
For the bounded parabolic differentiability class, distinguish global bounds from bounds on each finite time slab. Only the latter are needed here; a single global bound on the classical solution would conflict with its requested long-time growth in part (c).