The integral form was proven by Richard Bellman in 1943.
而积分形式则是由理查德·贝尔曼（Richard Bellman）在1943年证明。