Apply the Feynman-Kac formula with and terminal function . The ansatz gives
Thus and , so
Equivalently, the Integral of Brownian motion is Gaussian with mean and variance .