In this Veritasium video "Infinite Slit Paradox: Something Strange Happens When You Trust QM", the Feynman integral is built up from just one formula (that is completely brushed under the rug by the video): that for $\phi$ the phase of a particle wave going along a path, on a very small almost-linear segment of the path,
$$\Delta \phi = \frac{2\pi}{\lambda}\Delta x - 2\pi f \Delta t,$$
where $\lambda, f$ I think are the de Broglie wavelength and frequency for that particle.
Can this formula be (rigorously?) derived from some simple/natural assumptions, at least in some simple/natural setting? I would appreciate if people could state these assumptions/settings explicitly.
If so, would that be a complete and satisfactory answer to this Phys.SE question on why exactly the formula in the Feynman path integral is the way it is?