Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 202 / 6 / c

For each $x$, the bounded local martingale $u(x+B_t)$ is a true martingale. Taking expectations givesfor every $t>0$. Thus $u$ equals its convolution with every heat kernel. The convolution is smooth, so the originally Borel function $u$ is smooth. Differentiating the heat semigroup identity at $t=0$ gives $\Delta u=0$, so $u$ is a bounded harmonic function on the plane. The Harmonic Liouville theorem now implies that $u$ is constant.