 Feynman-Kac formula with a bounded potential

For bounded $V$ and bounded initial data $f$, a sufficiently regular classical solution bounded on every finite time slab satisfiesTo prove this, the Itô formula and Itô product rule make $u(T-t,B_t)e^{{\int }_0^{t}V(B_s)ds}$ a local martingale. Its deterministic bound on $[0,T]$ makes it a true martingale; taking expectations at the two endpoints gives the formula. This also gives uniqueness in the finite-horizon bounded class. The exponent has the same sign as the potential in the equation.